Commit b9f71b10 authored by Dan Frumin's avatar Dan Frumin

bump readme

parent e939732e
Pipeline #15249 passed with stage
in 10 minutes and 24 seconds
# λMC – monadic translation of mini C into HeapLang
See the overview paper [Semi-automated reasoning about non-determinism in C expressions](http://cs.ru.nl/~dfrumin/wpc/iris-c-monad.pdf).
## Prerequisites
This development has been built and tested with the following dependencies:
- Coq 8.9.0
- A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq)
- A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
- A development version of [std++](https://gitlab.mpi-sws.org/iris/stdpp)
## Installation instructions
......
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