Commit a43a5fc4 authored by Ralf Jung's avatar Ralf Jung
Browse files


parent 34037c0f
Pipeline #2395 passed with stage
In this changelog, we document "large-ish" changes to Iris that affect even the way the logic is used on paper.
We do *not* document changesd of functions names or similar Coq-only API changes.
Changes marked [*] still need to be ported to the Iris Documentation.
## Iris 2.0
[*] Make the core of an RA or CMRA a partial function.
## Iris 2.0-rc1
This is the Coq development and Iris Documentation as submitted to ICFP.
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