Bump version to 0.25.5-SNAPSHOT

apalache-mc · May 30, 2022 · 75823a7 · 75823a7
1 parent 86f5368
commit 75823a7
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 9 deletions.
diff --git a/.unreleased/bug-fixes/1794.md b/.unreleased/bug-fixes/1794.md
diff --git a/.unreleased/bug-fixes/1819.md b/.unreleased/bug-fixes/1819.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.25.4 - 2022-05-30
+
+### Bug fixes
+
+- Fix nested set membership in the arrays encoding, see #1819
+- Fixed bug in inlining ASSUME statements, see #1794
+
 ## 0.25.3 - 2022-05-20
 
 ### Breaking changes

diff --git a/RELEASE.md b/RELEASE.md
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.25.4
+0.25.5-SNAPSHOT