[release] 0.25.9

apalache-mc · Jul 11, 2022 · 157413b · 157413b
1 parent b95dcc8
commit 157413b
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,17 @@
+## 0.25.9 - 2022-07-11
+
+### Features
+
+- - add generators for variants, see #1900
+- Add `VariantTag` and remove `VariantUnwrap`, see #1936
+
+### Bug fixes
+
+- Fixed `IncrementalRenaming` to rename operator parameters, see #1903
+
+### Documentation
+
+- Update HOWTO on types with new records and variants, see #1940
+- Update the tutorial on the type checker, see #1942
+- Add manual page on new variant types (see #1930)
+- Update ADR002 with the new syntax for variants, see #1922
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.25.9-SNAPSHOT
+0.25.9