[release] 0.44.3

apalache-mc · Jan 23, 2024 · 2288309 · 2288309
1 parent 9deaf3d
commit 2288309
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,9 @@
+## 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
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.44.3-SNAPSHOT
+0.44.3