Commit 7f5d2645 authored by Jonas Kastberg's avatar Jonas Kastberg
Browse files

Bumped supported versions in README

parent 708450ba
......@@ -5,11 +5,11 @@ Based Reasoning in Separation Logic".
It has been built and tested with the following dependencies
- Coq 8.9.1
- Coq 8.10
- [std++]( at
commit 9041e6d8.
- [iris]( at
commit 15f1ac56.
commit 1f83451a.
In order to build, install the above dependencies and then run
`make -j [num CPU cores]` to compile Actris.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment