blob: 1a9d12414647afb525d15ab872a88eece7012681 (
plain)
1
2
3
4
5
6
7
8
9
|
Install a copy of <https://github.com/mit-plv/bbv> (e.g., by installing the
`coq-bbv` coq opam package). If it's built but not installed, set the
`BBV_DIR` environment variable to the directory containing the built files.
Then run `./build`.
The models were built with
* `sail` commit `f69ac352`
* `sail-riscv` commit `c6c1e38`
and checked against bbv version 1.2 and coq 8.13.1.
|