aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore58logplain
-rw-r--r--LICENCE2089logplain
-rw-r--r--Makefile18408logplain
-rw-r--r--README.md5334logplain
-rwxr-xr-xbuild_simulators.sh199logplain
d---------c_emulator473logplain
-rw-r--r--descr129logplain
d---------doc119logplain
d---------handwritten_support275logplain
d---------model2902logplain
d---------ocaml_emulator241logplain
-rw-r--r--opam743logplain
d---------os-boot529logplain
-rw-r--r--sail-riscv.install3916logplain
d---------test151logplain