| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
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.
|
|
Library in need of rationalisation.
|
|
dubious types but will wait for library rationalisation to fix.
|
|
to ocaml version. TODO: also fix copies in sail_values.lem and sail_values_word.lem.
|
|
|
|
|
|
have correct rounding behaviour. Missed these when changing quot and mod functions.
|
|
|
|
optimisation went wrong.
|
|
|
