Bump version to 0.30.1-SNAPSHOT

apalache-mc · Oct 24, 2022 · 1101a6a · 1101a6a
1 parent 27310f4
commit 1101a6a
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 23 deletions.
diff --git a/.unreleased/breaking-changes/2199-parse-error-output.md b/.unreleased/breaking-changes/2199-parse-error-output.md
diff --git a/.unreleased/bug-fixes/smt-log-to-custom-rundir.md b/.unreleased/bug-fixes/smt-log-to-custom-rundir.md
diff --git a/.unreleased/features/2186-rpc-data.md b/.unreleased/features/2186-rpc-data.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,20 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.30.0 - 2022-10-24
+
+### 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
+
 ## 0.29.2 - 2022-09-26
 
 ### Features

diff --git a/RELEASE.md b/RELEASE.md
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.30.0
+0.30.1-SNAPSHOT