| Age | Commit message (Collapse) | Author |
|---|
|
range types. This removes quite a few uses of unsigned() in cheri intsruction pseudocode. Could potentially take things furter.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
has non-zero E (latest spec.)
|
|
|
|
|
|
match ASL; add missing functions/cases to library
|
|
cheri_prelude files.
|
|
|
|
|
|
|
|
interpreter
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
right thing to do because otherwise the order of the resolution of branch constraints matters, and that's not easily controllable. This will require figuring out why it's infinite looping for ASL's checking rather than just turning it off.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
shallow/deep ast conversion type class instances anymore, add herdtools ast / shallow ast conversion functions, add mips ImplementationDefinedStopFetching instruction
|
|
|
|
same time with the types both have in common factored out into separate file, rename one mips shallow embedding _extras file as required by this
|
|
instruction state, factor out interpreter/shallow embedding value conversion
|
|
variables; modern implementation of nexp unification seems not to need it
|
|
change to printing
|
|
|
|
operations
|
|
state monad, library fixes
|
|
|
|
|
|
|
|
|
|
|
|
|
|
instruction exception behaviour but sequential model does (for test suite).
|
|
|
|
|
|
|
