| Age | Commit message (Collapse) | Author |
|---|
|
|
|
redundant files.
|
|
|
|
|
|
# Conflicts:
# src/type_internal.ml
|
|
build_context val spec which was out of dated although lem did not complain for some reason...
|
|
|
|
overflow.
|
|
xml for jenkins.
|
|
Library in need of rationalisation.
|
|
|
|
performance bug or infinite loop. Add some missing shallow embedding funcitons.
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
