aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore62logplain
-rw-r--r--LICENCE2284logplain
-rw-r--r--Makefile21448logplain
-rw-r--r--README.md15047logplain
-rwxr-xr-xbuild_simulators.sh402logplain
d---------c_emulator641logplain
d---------doc206logplain
d---------generated_definitions / ast30logplain
d---------handwritten_support410logplain
d---------model3690logplain
d---------ocaml_emulator281logplain
-rw-r--r--opam875logplain
d---------os-boot529logplain
d---------prover_snapshots133logplain
-rw-r--r--sail-riscv.install8196logplain
d---------test194logplain