From 4c29121d82a7c83bcca09a56f59d98ce750fcb32 Mon Sep 17 00:00:00 2001
From: shonfeder <github@actions.ci>
Date: Mon, 4 Jul 2022 13:33:39 +0000
Subject: [PATCH] [release] 0.25.8

---
 RELEASE.md | 15 +++++++++++++++
 VERSION    |  2 +-
 2 files changed, 16 insertions(+), 1 deletion(-)
 create mode 100644 RELEASE.md

diff --git a/RELEASE.md b/RELEASE.md
new file mode 100644
index 0000000000..afa399289a
--- /dev/null
+++ 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
index aadf9da8f2..783dfe1f20 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.25.8-SNAPSHOT
+0.25.8