iris-atomic
Atomicity related verification based on Iris logic.
Build
Please make sure Iris dependency version is same as noted in IRIS_VERSION
| Name | Last commit | Last update |
|---|---|---|
| docs | ||
| .gitignore | ||
| IRIS_VERSION | ||
| Makefile | ||
| Makefile.coq | ||
| README.md | ||
| _CoqProject | ||
| atomic.v | ||
| atomic_incr.v | ||
| atomic_pcas.v | ||
| atomic_sync.v | ||
| evmap.v | ||
| flat.v | ||
| misc.v | ||
| peritem.v | ||
| simple_sync.v | ||
| sync.v | ||
| treiber.v |