[release] 0.25.1

apalache-mc · May 9, 2022 · be9ff61 · be9ff61
1 parent cbc38d0
commit be9ff61
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 11 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,12 @@
+## 0.25.1
+
+     
+### Features
+
+ * Support for native ARM64/AArch64 JVMs (and thus Apple Silicon), see #751
+
+### Bug fixes
+
+ * Fix usage of sets of function sets in the arrays encoding, see #1680
+ * Fix an uncaught exception when setting up the output manager, see #1706
+ * Handle heap memory exhaustion gracefully, see #1711
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,13 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-     
-### Features
-
- * Support for native ARM64/AArch64 JVMs (and thus Apple Silicon), see #751
-
-### Bug fixes
-
- * Fix usage of sets of function sets in the arrays encoding, see #1680
- * Fix an uncaught exception when setting up the output manager, see #1706
- * Handle heap memory exhaustion gracefully, see #1711
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.25.1-SNAPSHOT
+0.25.1