diff --git a/CHANGELOG.md b/CHANGELOG.md index 2725b0cc9c33121b99fb445edb7c81472478b8f9..4a4a6b22b2335a1ff977bb407bbbd07deba515aa 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,10 @@ lemma. ## Iris master +**Changes in `algebra`:** + +* Add (basic) support for `gset` and `gset_disj` cameras to `set_solver`. + **Changes in `bi`:** * Add a construction `bi_tc` to create transitive closures of