| Age | Commit message (Collapse) | Author |
|---|
|
A few more tips
Trying to fix up and bring up to date the built-in types and library
|
|
|
|
needing ott
|
|
|
|
directory to be a bit more sensible
|
|
Conflicts:
src/Makefile
|
|
|
|
processing
|
|
|
|
Improve printing for asl to sail readability;
Add -o option for selecting the name of file generation;
Add additional initial check module for turning generated ast nodes into ready-to-type-check ast nodes
|
|
overloading of '^^'
|
|
on opam provided ones.
|
|
some annoying indenting on one line functions
|
|
|
|
|
|
exception as per ISA.
|
|
properly implemented as this allows tests to fail gracefully rather than crashing.
|
|
|
|
|
|
|
|
|
|
|
|
quot and mod. mod still not quite doing what we want in signed case.
|
|
they were, allowing us to pass another test.
|
|
|
|
|
|
|
|
|
|
|
|
numbers accidentally
|
|
remove temporary hack in TranslateAddr.
|
|
missing psuedo-registers in run_with_elf.
|
|
get_elf64_global_symbol_init: invariant failed, global variable appears in multiple segments
|
|
|
|
|
|
correct state on exception. branchPending does not work because it is cleared before executing the branch delay.
|
|
|
|
|
|
Note: this support is rather mips centric at the moment
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
work (NB hack in TranslateAddress until interpreter translates instuction fetches)
|
|
|
|
|
|
manual so emulate unsigned comparisons by prepending a zero bit, as in mips spec.
|
