Commit 1c5a85f0 authored by Ralf Jung's avatar Ralf Jung

start writing a CHANGELOG for Iris 3.0

parent b0aefb42
Pipeline #2574 passed with stage
in 4 minutes and 14 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.
[#] still need to be ported to the Iris Documentation LaTeX file(s).
## Iris 3.0
* [#] View shifts are radically simplified to just internalize frame-preserving
updates. Weakestpre is defined inside the logic, and invariants and view
shifts with masks are also coded up inside Iris.
* [#] The language can now fork off multiple threads at once.
## Iris 2.0
......
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