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 | |
| parent | bd697d0c54ca047ef93755898f9fa0d919e25f1c (diff) | |
| download | sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.zip sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.tar.gz sail-riscv-57612b620ad2a3e1d532f24b89c29397d5af3f82.tar.bz2 | |
Update directory map in readme.
| -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 |