| Age | Commit message (Collapse) | Author |
|---|
|
removed IK_cond_branch, and added IK_branch
|
|
|
|
|
|
|
|
|
|
imported new version of PPrint (20171003)
|
|
no longer there
|
|
|
|
|
|
|
|
|
|
|
|
delay slot of a ccall selector 1 call.
|
|
registers is no longer xored with 48 so need to initialise it. Also use E and T values used by CHERI hw and adjust decoding functions appropriately. Fix shift functions for ocaml shallow embedding which failed to handle shifts greater than vector length.
|
|
|
|
this and use shallow embedding conversion?
|
|
and not obsolete interp_interface one.
|
|
|
|
things, SF and CP bugfixing
|
|
|
|
|
|
|
|
etc/regfp.sail.
|
|
|
|
|
|
|
|
|
|
and Set membership for free
|
|
|
|
|
|
|
|
|
|
fixed some compare functions;
|
|
|
|
|
|
fixed the interpreter nias analysis;
|
|
|
|
|
|
|
|
|
|
string_of_value as used everywhere else
|
|
|
|
|
|
build_context val spec which was out of dated although lem did not complain for some reason...
|
|
|
|
|
|
exiting due to one of them being unknown; fixes incorrect exhaustive analysis for footprints
|
|
node for passing around encapsulated evaluated values; change Interp.to_exp to now just wrap values in this node
|
|
overflow.
|
|
xml for jenkins.
|
