Commit 490169e2 authored by Ralf Jung's avatar Ralf Jung
Browse files

update README

parent 24a9b6cf
...@@ -56,9 +56,8 @@ CPU cores. ...@@ -56,9 +56,8 @@ CPU cores.
language language
* The subfolder [lib](theories/heap_lang/lib) contains a few derived * The subfolder [lib](theories/heap_lang/lib) contains a few derived
constructions within this language, e.g., parallel composition. constructions within this language, e.g., parallel composition.
Most notable here is [lib/barrier](theories/heap_lang/lib/barrier), the For more examples of using Iris and heap_lang, have a look at the
implementation and proof of a barrier as described in [Iris Examples](https://gitlab.mpi-sws.org/FP/iris-examples).
<http://doi.acm.org/10.1145/2818638>.
* The folder [tests](theories/tests) contains modules we use to test our * The folder [tests](theories/tests) contains modules we use to test our
infrastructure. Users of the Iris Coq library should *not* depend on these infrastructure. Users of the Iris Coq library should *not* depend on these
modules; they may change or disappear without any notice. modules; they may change or disappear without any notice.
......
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