| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
TODO: add an event for a return so that rewriters can find and remove them as needed for OCaml and Lem
|
|
checker
|
|
|
|
Interp: trying to add some debugging to isolate bug
|
|
|
|
|
|
assignment expression
|
|
|
|
|
|
|
|
interpreter interface
|
|
Make quiet mode for sequential interpreter not print
|
|
them sensibly at last
|
|
|
|
expected reasons) :)
|
|
Not executing yet as some previous commit has broken the interpreter's local assignment
|
|
Also making progress towards separating int sized things from integer sized things
|
|
|
|
LEXP_vector_range for sub register writes.
Closes issue #23
|
|
|
|
|
|
unknown conditions.
Does not merge if one path has resulted in an exit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and bit1); also fix some handling of wmv and eamem.
|
|
|
|
events in exhaustive mode
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
theorem provers, use structural (in)equality for Isabelle and HOL for literals and values
|
|
being very power-specific.
Note: slight interface change to instruction_extractor
|
|
|
|
|
|
And fix match failure problem (hopefully)
|
|
|
|
|
|
Also fix type checker bug in not reporting modifications to parameter values
|
