The main Coq development.
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD
Logically Atomic Triples in Iris
A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
opam repository for development versions of things we develop.
A soundness proof for GPS and RSL with Release-Acquire semantics in Iris.
Some example verification demonstrating the use of Iris.