[release] 0.30.0

apalache-mc · Oct 31, 2022 · 53eb7aa · 53eb7aa
1 parent 95eebcd
commit 53eb7aa
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/RELEASE.md b/RELEASE.md
@@ -0,0 +1,13 @@
+## 0.30.0 - 2022-10-31
+
+### Breaking changes
+
+- The format of parsing error outputs has been changed. Parsing error messages that used to be prefixed with `Error by TLA+ parser` are now prefixed with `Parsing error` and error messages that used to begin with `Syntax error in annotation:` will now also include the `Parsing error` prefix. This is being recorded as a breaking change since it could break scripts that rely on parsing stdout. (See #2204 and #2242.)
+
+### Features
+
+- Return JSON with success or failure data from RPC calls to the CmdExecutor service (see #2186).
+
+### Bug fixes
+
+- Write the SMT log also to a custom rundir specified with `--run-dir=`, see #2208
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.29.3-SNAPSHOT
+0.30.0