From 7bd5c325c244a0e4100b064c5e1b7e79f36b38bf Mon Sep 17 00:00:00 2001 From: bugarela Date: Tue, 17 Dec 2024 17:51:31 -0300 Subject: [PATCH] Add CHANGELOG entry --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index ffcfb5ec0..b9c3de7fa 100644 --- 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