Commit e81fcc34 authored by Ralf Jung's avatar Ralf Jung

this is an rc (and we still have some file renaming planned before the release)

parent 7ed64c7c
Pipeline #2883 passed with stage
in 9 minutes and 25 seconds
In this changelog, we document "large-ish" changes to Iris that affect even the
way the logic is used on paper. We also mention some significant changes in the
Coq development, but not every API-breaking change is listed. Changes marked
[#] still need to be ported to the Iris Documentation LaTeX file(s).
`[#]` still need to be ported to the Iris Documentation LaTeX file(s).
## Iris 3.0
## Iris 3.0~rc1
This version matches the ESOP submission.
* View shifts are radically simplified to just internalize frame-preserving
updates. Weakestpre is defined inside the logic, and invariants and view
......
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