| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
correct now, fixes, pp
|
|
#23 again
|
|
LEXP_vector_range for sub register writes.
Closes issue #23
|
|
issue #26
|
|
|
|
|
|
|
|
annotated properly, as well as field accesses.
Writing of register slices and bits still look like writes of full registers from tags and effects (probably, if it works, it's an accident)
WARNING: interpreter still not up to date with this change
|
|
compilation.
So, it should be right for E_field, but isn't right for E_vector_access, and hasn't begun for E_vector_subrange
Isn't right for any writes
**WARNING** lem ast files generated from this may not have the proper behaviour on field accesses.
|
|
{power,armv8}_extras.lem; fixes
|
|
example mips elf file.
|
|
|
|
|
|
Close #20
|
|
|
|
|
|
matches, reset variable name counter for each function clause, fixes
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
files for the different isas to support
|
|
|
|
Fix an effect bug on aliased id
|
|
|
|
|
|
|
|
Also starting to try to get elf compiling for sequential interpreter
|
|
|
|
|
|
|
|
|
|
|
|
rewrite for-loops, if/case-expressions to return updated variables
|
|
could be useful
Define in that a function for determining a default direction for vectors
|
|
|
|
|
|
(probably) at least for Power.
|
|
functions, and state definition
|
|
|
|
|
|
|
|
|
|
|
