| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
foreach_dec declarations in comment
|
|
|
|
|
|
vector-concat patterns. Not tested.
|
|
pattern-match expression produces one without vector_concat patterns, plus a list of variable bindings for slices of the vector. Not finished yet
|
|
pattern-match expression produces one without vector_concat patterns, plus a list of variable bindings for slices of the vector. Not finished yet
|
|
pattern-match rewriting
|
|
|
|
special let form to set the scope
|
|
|
|
|
|
Add a new internal node for moving assignments into scope-preserving expressions that more explicitly define the scope
|
|
|
|
A few more expressive tags for introducing mutable variables and for tracking local mutations
A new pred for detecting bit vectors
|
|
|
|
transformations restored :)
|
|
|
|
Note: the resulting Lem file generated may or may not actually work properly with the interpreter (i.e. it might have too many unknowns); still in the process of debugging some changes there.
|
|
|
|
|
|
unknown conditions.
Does not merge if one path has resulted in an exit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
instead of whatever random spot they might be in, where functions expect length-n to 0
|
|
|
|
|
|
|
|
|
|
and bit1); also fix some handling of wmv and eamem.
|
|
|
|
Events are eamem to signal the memory address to write to and wmv to pass the value to write
|
|
|
|
|
|
events in exhaustive mode
|
|
|
|
|
|
|
|
|
|
|
