[release] 0.24.0

apalache-mc · Apr 18, 2022 · 40d9ec6 · 40d9ec6
1 parent fd3332a
commit 40d9ec6
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 12 deletions.
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -0,0 +1,13 @@
+## 0.24.0
+
+### Breaking changes
+* `RECURSIVE` operators and functions are no longer supported, see #1569
+* rename Apalache `FoldSet` and `FoldSeq` to `ApaFoldSet` and `ApaFoldSeqLeft`, see #1617
+
+### Features
+
+* Add the operator `Apalache!Guess`, see #1590 and #888
+* Extend the type parser to support ADR014 (experimental), see #1602
+* Keramelizer now rewrites \subseteq using forall quantification, see #1408
+* Builtin operators can be passed as arguments to HO operators, see #1630
+* Optimize set membership for record sets, see #1629
diff --git a/UNRELEASED.md b/UNRELEASED.md
@@ -10,14 +10,3 @@
          * Some bug fix, see #124
 
      DO NOT LEAVE A BLANK LINE BELOW THIS PREAMBLE -->
-### Breaking changes
-* `RECURSIVE` operators and functions are no longer supported, see #1569
-* rename Apalache `FoldSet` and `FoldSeq` to `ApaFoldSet` and `ApaFoldSeqLeft`, see #1617
-
-### Features
-
-* Add the operator `Apalache!Guess`, see #1590 and #888
-* Extend the type parser to support ADR014 (experimental), see #1602
-* Keramelizer now rewrites \subseteq using forall quantification, see #1408
-* Builtin operators can be passed as arguments to HO operators, see #1630
-* Optimize set membership for record sets, see #1629
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.23.2-SNAPSHOT
+0.24.0