[release] 0.25.10

[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.25.10 - 2022-07-18

Features

• Add RPC to load spec to the experimental Shai server (see Add RPC for loading a model #1114)

Bug fixes

• Add workaround for Sany parsing failures when running parallel instances of Apalache (see Set a unique java.io.tmpdir for each call to SANY #1959)

Documentation

• Added TLA+ syntax highlighting to the manual, see Add TLA+ syntax highlighting to the manual #1972

[codecov-commenter]

Codecov Report

Merging #1988 (3e2a48f) into unstable (bda1814) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           unstable    #1988   +/-   ##
=========================================
  Coverage     77.81%   77.81%           
=========================================
  Files           418      418           
  Lines         12789    12789           
  Branches        566      566           
=========================================
  Hits           9952     9952           
  Misses         2837     2837           

Impacted Files	Coverage Δ
...a/at/forsyte/apalache/tla/lir/TlaLevelFinder.scala	97.36% <0.00%> (-2.64%)	⬇️
...he/io/annotations/parser/CommentPreprocessor.scala	97.80% <0.00%> (+1.09%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update bda1814...3e2a48f. Read the comment docs.