[release] 0.29.0

[apalache-bot]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

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 Raise an error on invalid keys in configuration #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 Wire CLI args into configuration system #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 Add de/serialization of SourceOption values #2134).
• All CLI parameters can now be configured via apalache.cfg files. See Wire CLI args into configuration system #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 report an error when a type annotation is too general #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 Replace the PassOptions map with OptionsGroup classes #2074).