| Age | Commit message (Collapse) | Author |
|---|
|
|
|
instead of 0)
|
|
|
|
Conflicts:
src/lem_interp/printing_functions.ml
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and I *think* that I'm making vectors of unknowns in all the necessary places now.
|
|
|
|
|
|
|
|
|
|
Printing functions are not complete and may cause exceptions still on unknown or undef bits. run_interp_model doesn't work and thus make power doesn't work.
|
|
|
|
and letting them turn into undefineds
|
|
|
|
|
|
|
|
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
|
|
|
|
including start bit-index)
|
|
vectors
|
|
|
|
|
|
(though we still get some long lists of bitzero,bitzero,... in the instruction state printing...)
|
|
|
|
|
|
|
|
|
|
interface
|
