Commit 424f4c25 authored by Zhen Zhang's avatar Zhen Zhang
Browse files


parent b10debe5
Atomicity related verification based on Iris logic.
1. `git clone` this repo
2. `git submodule update --init` to fetch corresponding Iris library as a submodule
3. `cd iris-coq; make; make install` to install Iris library (system globally). Or you can use `make userinstall` to install user globally.
4. `cd ..; make` to compile this repo
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