| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
and Set membership for free
|
|
|
|
|
|
|
|
|
|
fixed some compare functions;
|
|
|
|
|
|
|
|
fixed the interpreter nias analysis;
|
|
|
|
|
|
|
|
|
|
# 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
|
|
|
|
|
