Merge pull request #2817 from informalsystems/release/0.44.3

apalache-mc · Jan 23, 2024 · eed0b45 · eed0b45
2 parents 9deaf3d + 868538c
commit eed0b45
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 3 deletions.
diff --git a/.unreleased/bug-fixes/fixSetInclusionwithArrays.md b/.unreleased/bug-fixes/fixSetInclusionwithArrays.md
diff --git a/.unreleased/features/01.md b/.unreleased/features/01.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,16 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.44.3 - 2024-01-23
+
+### Features
+
+- Parse name of `ASSUME` declarations into IR and preserve them during serialization to JSON, see #2808
+
+### Bug fixes
+
+- fix crash on the arrays encoding when having a subset relation containing infinite sets, see #2810
+
 ## 0.44.2 - 2023-12-01
 
 ### Bug fixes

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.44.3-SNAPSHOT
+0.44.4-SNAPSHOT