| Age | Commit message (Collapse) | Author |
|---|
|
variables; modern implementation of nexp unification seems not to need it
|
|
|
|
state monad, library fixes
|
|
|
|
|
|
instruction exception behaviour but sequential model does (for test suite).
|
|
|
|
|
|
|
|
|
|
non-capability writes on cheri.
|
|
|
|
version. Temporary 'solution' to building mips and cheri builds until proper factorising can take place.
|
|
|
|
preparation for adding cheri support in separate files.
|
|
on opam provided ones.
|
|
|
|
|
|
|
|
|
|
ocamlbuild but works OK and shouldn't have to call sanitize.
|
|
needs fixing but nearly works.
|
|
|
|
example mips elf file.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
files for the different isas to support
|
|
Fix an effect bug on aliased id
|
|
Also starting to try to get elf compiling for sequential interpreter
|
|
|
|
Also correct makefile typo
|
|
placement, switch to LEMLIBOCAML
|
|
|
|
|
|
as well.
|
|
properly yet but run_power.native is connected to it
|
|
effectively use elf model yet
|
|
temporarily use other version of Lem
|
|
all tests on all.
Instead there is a make full command to make all the tests as well as everything.
|
|
Used by the Power XML extraction tool.
|
|
|
|
|
|
|
|
Now, constraint resolution works for test/power.sail
|
|
Fails in most cases because of "fresh" variables in type annotations
that cannot be parsed again.
|
|
|
