[release] 0.15.4

[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.15.4

Documentation

• RFC006 on unit testing: see RFC006: proposal on unit-testing and property-based testing for TLA+ #741

Features

• apalache quits with a non-zero exit code on counterexample or error, see [FEATURE] Return a non-zero exit code when model checking fails #249
• type checker: supporting one-line comments in types, see [FEATURE] One-line comments in the type grammar #773

Bug fixes

• Parser: supporting annotations in multiline comments, see [BUG] Type annotations are not parsed correctly in multiple single-line comments #718
• Parser: supporting TLA+ identifiers in annotations, see [FEATURE] Allow identifiers in annotations #768
• Parser: better parser for annotations, see [BUG] Parser error when using EXCEPT and @  #757
• Parser: fixed two bugs in the declaration sorter, see [BUG] Bogus "Found a cyclic dependency among operators:..." error #645 and [BUG] Type annotations in MC_*.tla files #758
• Printer: fixed the output for EXCEPT, see [BUG] Incorrect output of except #746
• Printer: fixed pretty printing of annotations, see [BUG] Printing incorrect annotation of a variable declaration #633
• Printer: extending the standard modules, see [FEATURE] PrettyWriter should extend the standard modules #137
• The command config --enable-stats=true creates $HOME/.tlaplus if needed, see [BUG] Unable to enable statistics #762
• IO: replaced calls to deprecated JsonReader/JsonWriter. out-parser.json is now compliant with the new format, see [FEATURE] Remove uses of old JsonWriter #778

Changes

• Builds: removed scoverage from maven, to improve build times
• Docs: updated ADR002 and HOWTO on type annotations to explain comments
• CLI: Users can set JVM args via the JVM_ARGS env var, see [FEATURE] Parse more apalache command line args #790