diff options
author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-07-26 22:33:38 +0100 |
---|---|---|
committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-07-26 22:33:38 +0100 |
commit | 99bffcb9ecb8fa228cf47cfd2f44d666933eca95 (patch) | |
tree | f3fd3b56335d949d7f0eb2551f7a460e7602220d /prover_snapshots/coq | |
parent | 6602f61f41e18e43245ec14d649c620ff9205341 (diff) | |
download | sail-riscv-99bffcb9ecb8fa228cf47cfd2f44d666933eca95.zip sail-riscv-99bffcb9ecb8fa228cf47cfd2f44d666933eca95.tar.gz sail-riscv-99bffcb9ecb8fa228cf47cfd2f44d666933eca95.tar.bz2 |
Update versions in Coq snapshot readme
Diffstat (limited to 'prover_snapshots/coq')
-rw-r--r-- | prover_snapshots/coq/README.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/prover_snapshots/coq/README.md b/prover_snapshots/coq/README.md index 3dd50cd..1a9d124 100644 --- a/prover_snapshots/coq/README.md +++ b/prover_snapshots/coq/README.md @@ -4,6 +4,6 @@ Install a copy of <https://github.com/mit-plv/bbv> (e.g., by installing the Then run `./build`. The models were built with -* `sail` commit `f0f778ef` -* `sail-riscv` commit `0b8bf69` -and checked against bbv version 1.1 and coq 8.9.1. +* `sail` commit `f69ac352` +* `sail-riscv` commit `c6c1e38` +and checked against bbv version 1.2 and coq 8.13.1. |