diff options
| author | Bill McSpadden <bill@riscv.org> | 2023-02-13 19:50:46 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-13 19:50:46 -0600 |
| commit | 43b81eafc660ab584e1684668995957764a5e684 (patch) | |
| tree | 97aebab0afe29b8c0b1f8d9d4dc6a1c2c1f9afbe /prover_snapshots/coq/README.md | |
| parent | 9547a30bf84572c458476591b569a95f5232c1c7 (diff) | |
| download | sail-riscv-43b81eafc660ab584e1684668995957764a5e684.zip sail-riscv-43b81eafc660ab584e1684668995957764a5e684.tar.gz sail-riscv-43b81eafc660ab584e1684668995957764a5e684.tar.bz2 | |
added 3 new command line switches (plus functionality): -X/--enable-experimental-extensions, --enable-smepmp, --enable-zicond (#219)
* added 3 command-line switches: -X/--enable-experimental-extensions, --enable-Smepmp, --enable-Zicond
* example commit
* fixed some type warnings/errors (between int/bool)
Diffstat (limited to 'prover_snapshots/coq/README.md')
0 files changed, 0 insertions, 0 deletions