| Age | Commit message (Collapse) | Author |
|---|
|
on coercions
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Use register size.
Printing again doesn't compile
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
