Commit 505340d0 authored by Ralf Jung's avatar Ralf Jung

archive repository

parent 568d6266
Pipeline #14057 failed with stage
in 1 minute and 12 seconds
# Repository Archived
This repository is archived. For the current version of the Coq examples, see
[iris-examples](https://gitlab.mpi-sws.org/iris/examples/tree/master/theories/logatom).
# IRIS-ATOMIC # IRIS-ATOMIC
Atomicity related verification based on Iris logic. Atomicity related verification based on Iris logic.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment