diff options
author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-07-25 11:05:55 -0700 |
---|---|---|
committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-07-25 11:05:55 -0700 |
commit | 57612b620ad2a3e1d532f24b89c29397d5af3f82 (patch) | |
tree | 699a819a16720f776c8d696ad732dd176461688d /README.md | |
parent | bd697d0c54ca047ef93755898f9fa0d919e25f1c (diff) | |
download | sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.zip sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.tar.gz sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.tar.bz2 |
Update directory map in readme.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -32,6 +32,8 @@ sail-riscv | +---- hol4 | +---- latex | ++---- prover_snapshots // Snapshots of generated theorem prover definitions +| |---- handwritten_support // Prover support files | +---- c_emulator // supporting platform files for C emulator |