| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
Minor updates to README, still in progress
|
|
|
|
|
|
|
|
- 2**12)
|
|
|
|
|
|
representable.
|
|
has non-zero E (latest spec.)
|
|
|
|
|
|
check base as well as top.
|
|
|
|
|
|
|
|
|
|
match ASL; add missing functions/cases to library
|
|
be relative to base
|
|
|
|
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
|
