| Age | Commit message (Collapse) | Author |
|---|
|
range types. This removes quite a few uses of unsigned() in cheri intsruction pseudocode. Could potentially take things furter.
|
|
alignment
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
frequency).
|
|
|
|
|
|
|
|
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.
|
