[release] 0.25.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.25.0

Breaking changes

• Recommended JDK version was bumped to JDK17, see Bump JDK version (+ Scala version in docs) #1662
• Add the option --features to enable experimental features, see Add the option --features #1648
• Never report a deadlock when --no-deadlock=1, see not reporting a deadlock when --no-deadlock=1 #1679

Features

• Include the version number in detailed.log, see Store the Apalache version number in the output files #1678
• Add the option --features to enable experimental features, see Add the option --features #1648
• Never load TLC config files by default, see Disable TLC config files by default #1676
• Experimental type unification over rows, new records, and variants, see Type unification for rows, new records, and variants #1646
• Experimental type checking for records over rows, see Extend the type checker to support new records #1688

Bug fixes

• Fix references to --tune-here (actually --tuning-options), see Rename --tuning-options to --tune-here #1579
• Not failing when assignment and UNCHANGED appear in invariants, see Replace assignments in invariants #1664

[codecov-commenter]

Codecov Report

Merging #1699 (0d2e6ce) into unstable (337470e) will increase coverage by 0.00%.
The diff coverage is n/a.

@@            Coverage Diff            @@
##           unstable    #1699   +/-   ##
=========================================
  Coverage     75.31%   75.32%           
=========================================
  Files           357      357           
  Lines         11541    11541           
  Branches        576      576           
=========================================
+ Hits           8692     8693    +1     
+ Misses         2849     2848    -1     

Impacted Files	Coverage Δ
...he/io/annotations/parser/CommentPreprocessor.scala	96.70% <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 337470e...0d2e6ce. Read the comment docs.