blob: 8cc69d7fd63c9172a114b7845846c81d0ee92cb9 (
plain)
1
2
3
4
5
6
7
|
Check out a copy of <https://github.com/mit-plv/bbv> in the parent directory and
build it. Then run `./build`.
The model was built with
* `sail` commit `1c80d84c`
* `sail-cheri-mips` commit `17deb9f2`
and checked against bbv commit `8f5aece` and coq 8.8.2.
|
