| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Convert sparse vectors into full-fledged vectors more frequently and on export to memory system
|
|
|
|
|
|
|
|
Of note: Interp_lib.to_num now takes an Unsigned or a Signed constructor, rather than a boolean
|
|
|
|
|
|
|
|
|
|
|
|
treats the last argument as a big num
|
|
|
|
|
|
|
|
|
|
instruction-to-instructionstate
|
|
|
|
|
|
|
|
symbol/memory address list.
|
|
|
|
registers we might read that we want values for (particularly the PC)
|
|
Add a function from instruction to istate
|
|
|
|
|
|
|
|
|
|
|
|
as well.
|
|
|
|
|
|
Warning: this changes a few of the constructor names in the instruction_extractor.lem interface
|
|
|
|
|
|
|
|
Bytevectors; add place holder for memory size dependency tracking
|
|
this is quite specific to Power's spec)
|
|
(I still think this is a silly place to run exhaust from, but it no longer finds errors or crashes)
|
|
|
|
printing the events.
Note: this commit switches back to a standard lem build located in ~/bitbucket/lem/lem
|
|
testing register tracking/tainting
|
|
instead of internal actions
|
|
There are problems that warrant discussion about handling special registers that hold records or data structures previously.
|
|
|
|
then hits an error. So still in progress
Note: moved barrier kind changes to interp_interface, along with other memory kinds
|
|
|
|
|
|
Also adding more comments and getting the ml files built in the build process
|
