Add CHANGELOG entry

informalsystems · Dec 17, 2024 · 7bd5c32 · 7bd5c32
1 parent d730aca
commit 7bd5c32
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,9 +9,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 ### Changed
+
+- Bumped Apalache to 0.47.2 (#1565)
+
 ### Deprecated
 ### Removed
 ### Fixed
+
+- Fixed a problem where calling `setOfMaps()` on empty sets resulted in errors in the simulator (#1561)
+
 ### Security
 
 ## v0.22.4 -- 2024-11-19