[release] 0.30.3

apalache-mc · Mar 6, 2023 · 888fbac · 888fbac
1 parent ceafebb
commit 888fbac
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,10 @@
+## 0.30.3 - 2023-03-06
+
+### Features
+
+- Added support for transpiling [quint](https://github.com/informalsystems/quint) booleans, integers, and sets (See #2451, #2449, #2445)
+
+### Bug fixes
+
+- Add support for first-order `CONSTANTS`, see #2389.
+- Fixed type checking of specs that use `Print` and `PrintT`, see #2456.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.30.3-SNAPSHOT
+0.30.3