A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.

Name
Last commit
Last update
build Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
awk.Makefile Loading commit data...
opam Loading commit data...