README.md 375 Bytes
Newer Older
Zhen Zhang's avatar
Zhen Zhang committed
1
2
3
4
5
6
7
8
9
10
11
12
13
iris-atomic
====

Atomicity related verification based on Iris logic.

Build
--------

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