| Age | Commit message (Collapse) | Author |
|---|
|
|
|
letbound variables
|
|
|
|
|
|
|
|
|
|
incorrect LMA values (since sail interpreter now translates PC addresses).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
