Skip to content
Snippets Groups Projects
Commit cb5834a8 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Add Changelog entry.

parent 6cdc0564
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
CHANGELOG.md
+ 2
− 0
View file @ cb5834a8
...@@ -42,6 +42,8 @@ Changes in and extensions of the theory: ...@@ -42,6 +42,8 @@ Changes in and extensions of the theory:
describes the postcondition of each forked-off thread (instead of it being describes the postcondition of each forked-off thread (instead of it being
`True`). Additionally, there is a stronger variant of the adequacy theorem `True`). Additionally, there is a stronger variant of the adequacy theorem
that allows to make use of the postconditions of the forked-off threads. that allows to make use of the postconditions of the forked-off threads.
* The user-chosen functor used to instantiate the Iris logic now goes from
COFEs to Cameras (it was OFEs to Cameras).
Changes in Coq: Changes in Coq:
......
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