[release] 0.29.3

[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.3 - 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 Bogus error with mutual recursive operators #2204 and Shai: Return parsing pass error data in RPCs #2242.)

Features

• Return JSON with success or failure data from RPC calls to the CmdExecutor service (see Return failure data from pass chain executions #2186).

Bug fixes

• Write the SMT log also to a custom rundir specified with --run-dir=, see Output SMT log also to custom run directory #2208

[codecov-commenter]

Codecov Report

Merging #2248 (969157c) into main (51554e7) will decrease coverage by 0.00%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2248      +/-   ##
==========================================
- Coverage   77.73%   77.72%   -0.01%     
==========================================
  Files         433      433              
  Lines       14636    14636              
  Branches     2043     2032      -11     
==========================================
- Hits        11377    11376       -1     
- Misses       3259     3260       +1     

Impacted Files	Coverage Δ
...a/at/forsyte/apalache/tla/lir/TlaLevelFinder.scala	93.75% <0.00%> (-2.09%)	⬇️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[shonfeder]

Will need to increment the minor version for the breaking change.