[release] 0.25.8

apalache-mc · Jul 4, 2022 · 4c29121 · 4c29121
1 parent 11df56f
commit 4c29121
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,15 @@
+## 0.25.8 - 2022-07-04
+
+### Features
+
+- Add support for temporal properties, enabled via the `--temporal` flag, see #1815
+- Support variants in the model checker with `--features=rows`, see #1870
+- serialize variants to the ITF format, see #1898
+- Annotate counterexample traces to improve readability of temporal properties, see #1823
+- Replace PostTypeChecker pass with an additional predicate, see #1878
+
+### Bug fixes
+
+- Add support for checking temporal properties with primed expressions inside, see #1879
+- Fixed inlining of nullary polymorphic operators, see #1880
+- Fix crash with infinite sets in the arrays encoding, see #1802
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.25.8-SNAPSHOT
+0.25.8