From 7f5d2645a4786dbed8db923d8425b2832e622a1d Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Mon, 14 Oct 2019 18:24:11 -0400
Subject: [PATCH] Bumped supported versions in README
---
README.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 67f1bae..4c99311 100644
--- a/README.md
+++ b/README.md
@@ -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++](https://gitlab.mpi-sws.org/robbertkrebbers/coq-stdpp) at
commit 9041e6d8.
- [iris](https://gitlab.mpi-sws.org/iris/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.
--
GitLab