[release] 0.29.0

RELEASE.md

@@ -0,0 +1,14 @@
+## 0.29.0 - 2022-09-06
+
+### Breaking changes
+
+- Invalid configuration keys found in configuration sources (e.g., `apalache.cfg` files) will now produce a configuration error on load (see #2125).
+- The structure of the apalache.cfg has changed. All configuration keys that were previously supported have been moved under the `common` key. You can update your config files by prefixing each key from the previous versions with `commong.key-name`. For an example config file, see https://apalache.informal.systems/docs/apalache/config.html#file-format-and-supported-parameters. See #2065.
+- Introduce --features=no-rows for the old record syntax and switch to `--features=rows` by default
+
+### Features
+
+- The application configuration is now dumped into the `run-dir` when the `--debug` flag is supplied (see #2134).
+- All CLI parameters can now be configured via `apalache.cfg` files. See #2065 and documentation to follow.
+- From now on, the type checker reports an error, when the inferred type is more specific than the annotated type, see #2109.
+- The options `--init` and `--temporal` can now be given lists of names separated by commas, enabling users to check multiple invariants and temporal properties via the CLI (see #2074).

VERSION

@@ -1 +1 @@
-0.28.1-SNAPSHOT
+0.29.0