diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 10:42:23 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-16 10:42:23 -0800 |
| commit | 8af9989e7f6df6750bda1b04095999faa6c2e7c1 (patch) | |
| tree | 57e7de6daae77d040c245ead8830a27a8fd89b8d /README.md | |
| parent | b3c84499d479064409fed820549cc441ed369e8b (diff) | |
| download | sail-riscv-8af9989e7f6df6750bda1b04095999faa6c2e7c1.zip sail-riscv-8af9989e7f6df6750bda1b04095999faa6c2e7c1.tar.gz sail-riscv-8af9989e7f6df6750bda1b04095999faa6c2e7c1.tar.bz2 | |
Update readme.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -28,12 +28,15 @@ sail-riscv | +---- hol4 // HOL4 model | | // Handwritten files -+---- c // C simulator -+---- ocaml // OCaml simulator +| ++---- c_emulator // supporting platform files for C emulator ++---- ocaml_emulator // supporting platform files for OCaml emulator +---- lem // Lem library +---- coq // Coq library | -+---- test // unit test files ++---- test // test files + | + +---- riscv-tests // snapshot of tests from the riscv/riscv-tests github repo ``` An outline of the specification |