| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
# Conflicts:
# risc-v/hgen/types.hgen
|
|
|
|
|
|
|
|
string_of_value as used everywhere else
|
|
|
|
translation to and from herdtools ast.
|
|
|
|
coded to zero
|
|
|
|
|
|
|
|
|
|
|
|
holders for FENCE.I and ECALL.
|
|
|
|
|
|
|
|
|
|
|
|
build_context val spec which was out of dated although lem did not complain for some reason...
|
|
|
|
|
|
|
|
|
|
Footprint exhaustive evaluation fixes
Approved-by: Jonathan French <me@jonathanfrench.net>
|
|
|
|
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.
|
|
|
|
|
|
handling unsealed capabilities by clearing tag and setting cursor to -1. Also CCSeal got an encoding.
|
|
performance bug or infinite loop. Add some missing shallow embedding funcitons.
|
