[release] 0.40.0

apalache-mc · May 26, 2023 · 5808c25 · 5808c25
1 parent 7ae8375
commit 5808c25
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,9 @@
+## 0.40.0 - 2023-05-26
+
+### Breaking changes
+
+- Bump Z3 to v4.12.1, see #2565
+
+### Bug fixes
+
+- - fix pretty printing of `x \div y` and `x / y` (#2562)
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.30.10-SNAPSHOT
+0.40.0