From 1c5a85f0d0ee1cebc5ce33d523f992479544d2d1 Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Mon, 8 Aug 2016 14:07:15 +0200 Subject: [PATCH] start writing a CHANGELOG for Iris 3.0 --- CHANGELOG.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cfd5f40d6..928f2ae5b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,7 +1,14 @@ 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 -- GitLab