| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
get_elf64_global_symbol_init: invariant failed, global variable appears in multiple segments
|
|
manual so emulate unsigned comparisons by prepending a zero bit, as in mips spec.
|
|
but test still does not pass, apparently because sail is doing signed comparison for <
|
|
|
|
|
|
|
|
|
|
|
|
|
|
example mips elf file.
|
|
rewrite for-loops, if/case-expressions to return updated variables
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
interface
|
|
|
|
|
|
|
|
running binary; to generate files for Peter to load, in the first instance.
|
|
as well.
|
|
|
|
|
|
properly yet but run_power.native is connected to it
|
|
|
|
Fix a few other bugs as well
|
|
|
|
adding executable as a test as well
|
|
|
|
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
|
|
|
