| Age | Commit message (Collapse) | Author |
|---|
|
LEXP_vector_range for sub register writes.
Closes issue #23
|
|
|
|
example mips elf file.
|
|
files for the different isas to support
|
|
Fix an effect bug on aliased id
|
|
|
|
|
|
|
|
Tweak to rewriter to actually rewrite function patterns
|
|
unknown conditions.
Does not merge if one path has resulted in an exit
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and bit1); also fix some handling of wmv and eamem.
|
|
|
|
Events are eamem to signal the memory address to write to and wmv to pass the value to write
|
|
|
|
|
|
events in exhaustive mode
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Add a flag type for endian, not used yet
|
|
|
|
|
|
|
|
(make one function to do it instead of almost the same function multiple times)
Fix lost nexp variable in constraints, removing another undefined
|
|
|
|
|
|
|
|
call to turn them positive, in to_vec*
|
|
|
|
|
|
|
|
theorem provers, use structural (in)equality for Isabelle and HOL for literals and values
|
