README.md 163 Bytes
Newer Older
Zhen Zhang's avatar
Zhen Zhang committed
1 2 3 4 5 6 7 8
iris-atomic
====

Atomicity related verification based on Iris logic.

Build
--------

9
Please make sure Iris dependency version is same as noted in `IRIS_VERSION`