Commit 05b2ec4b authored by Dan Frumin's avatar Dan Frumin
Browse files


parent 893d16f8
......@@ -56,6 +56,7 @@ This repository contains the following case studies:
concurrent stacks with helping, as described in the [report](
* [lecture-notes](theories/lecture_notes): Coq examples for the
[Iris lecture notes](
* [hocap](theories/hocap): Formalisations of the concurrent bag and concurrent runners libraries from the [HOCAP paper](
## For Developers: How to update the Iris dependency
Supports Markdown
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