summaryrefslogtreecommitdiff
path: root/snapshots/coq/README.md
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.