Commit cd088bd6 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

No longer maintained.

parent 4231e28a
Pipeline #41379 passed with stage
in 11 minutes and 38 seconds
# λMC – monadic translation of mini C into HeapLang
*This project is no longer maintained. It will not be adjusted to work with current versions of Iris.*
See the overview paper [Semi-automated reasoning about non-determinism in C expressions](http://cs.ru.nl/~dfrumin/wpc/iris-c-monad.pdf).
## Prerequisites
......@@ -7,8 +9,8 @@ See the overview paper [Semi-automated reasoning about non-determinism in C expr
This development has been built and tested with the following dependencies:
- Coq 8.12.0
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
- A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
- The version of [Iris](https://gitlab.mpi-sws.org/iris/iris) as described in the [opam](opam file)
- The version of [std++](https://gitlab.mpi-sws.org/iris/stdpp) as described in the [opam](opam file)
## Installation instructions
......
Supports Markdown
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