aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.clang-format263logplain
d---------.github / workflows36logplain
-rw-r--r--.gitignore79logplain
-rw-r--r--.pre-commit-config.yaml1009logplain
-rw-r--r--CODE_STYLE.md3824logplain
-rw-r--r--CONTRIBUTING.md1763logplain
-rw-r--r--Dockerfile148logplain
-rw-r--r--LICENCE3363logplain
-rw-r--r--Makefile23571logplain
-rw-r--r--README.md16318logplain
-rwxr-xr-xbuild_simulators.sh401logplain
d---------c_emulator641logplain
-rw-r--r--coq-sail-riscv.opam836logplain
d---------doc259logplain
d---------etc43logplain
d---------generated_definitions / ast30logplain
d---------handwritten_support379logplain
d---------model4642logplain
d---------ocaml_emulator281logplain
-rw-r--r--opam875logplain
d---------os-boot529logplain
d---------prover_snapshots133logplain
-rw-r--r--sail-riscv.install8630logplain
d---------test232logplain