Skip to content
Snippets Groups Projects
Commit e3c070d3 authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Update README.

parent c788b94e
No related branches found
No related tags found
No related merge requests found
Pipeline #120332 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 5 deletions
README.md
+ 1
− 5
View file @ e3c070d3
...@@ -5,11 +5,7 @@ Functional Verification of Rust Programs with Unsafe Code". ...@@ -5,11 +5,7 @@ Functional Verification of Rust Programs with Unsafe Code".
## Prerequisites ## Prerequisites
This version is known to compile with: This version is known to compile with Coq 8.20.1.
- Coq 8.15.0
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
(the version `dev.2022-04-12.0.a3bed7ea`)
## Building from source ## Building from source
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment