| Age | Commit message (Collapse) | Author |
|---|
|
Attempt to get correct behaviour wrt nextpC on instruction fetch exception (prob. still wrong).
|
|
|
|
fix bug in interp_to_value_helper
|
|
(although decode isn't pushed through yet).
Note: this will break all builds
|
|
then reconvert delayedPC
|
|
|
|
|
|
implementation for now and exceptions not properly handled.
|
|
|
|
|
|
|
|
This is not yet connected to any model and not yet tested.
Also, reduce the number of parentheses needed by the parser. Namely, register declarations should no longer need parens around the types and let expressions should need fewer instances of parens around the expression (i.e. let a = exp ).
|
|
non-capability writes on cheri.
|
|
undefined unless we actually access memory which is uninitialised.
|
|
assignment expression
|
|
|
|
|
|
|
|
|
|
version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
|
|
|
|
|
|
|
|
bug from unification that was previously hitting armv8
|
|
interp_lib, interp_inter_imp, and printing_functions.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
preparation for adding cheri support in separate files.
|
|
Fix bug in local register access
|
|
well as items of kind Type.
Syntax for the feature is:
def Nat id = nexp
Note: some useful nexps may not parse properly.
All typedef forms can also be used as def Type ... if desired, but this is not required.
|
|
processing
|
|
Improve printing for asl to sail readability;
Add -o option for selecting the name of file generation;
Add additional initial check module for turning generated ast nodes into ready-to-type-check ast nodes
|
|
on opam provided ones.
|
|
|
|
|
|
|
|
|
|
|
