| Age | Commit message (Collapse) | Author |
|---|
|
|
|
of mangling the ascii manually
|
|
|
|
|
|
|
|
Of note: Interp_lib.to_num now takes an Unsigned or a Signed constructor, rather than a boolean
|
|
|
|
|
|
|
|
|
|
will format them as one long ; separated line
|
|
|
|
pattern into a constructor function call of () for the interpreter (when correct) or raise an error that the identifier is already a constructor that requires parameters.
|
|
|
|
Also correct makefile typo
|
|
including start bit-index)
|
|
|
|
placement, switch to LEMLIBOCAML
|
|
|
|
|
|
treats the last argument as a big num
|
|
|
|
vectors
|
|
|
|
|
|
|
|
|
|
|
|
instruction-to-instructionstate
|
|
|
|
|
|
not setting starting bit of vector properly
not treating properly if when given a non boolean --- bool largely removed in place of bit, removing many/most is_one casts but true and false are still possible values
coerces between bit vectors of length one and bits again, because reading from a register can otherwise be wrong with respect to the interface
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
symbol/memory address list.
|
|
|
|
|
|
|
|
(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
|
|
|
|
|
|
registers we might read that we want values for (particularly the PC)
|
|
|
|
|
|
|
