[release] 0.25.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.25.4 - 2022-05-30

Bug fixes

• Fix nested set membership in the arrays encoding, see Undefined solver evaluation leading to spurious counter-example #1819
• Fixed bug in inlining ASSUME statements, see Example y2k_overrides.tla does not work #1794

[codecov-commenter]

Codecov Report

Merging #1829 (75823a7) into unstable (22dddfa) will increase coverage by 0.01%.
The diff coverage is n/a.

@@             Coverage Diff              @@
##           unstable    #1829      +/-   ##
============================================
+ Coverage     76.83%   76.84%   +0.01%     
============================================
  Files           383      383              
  Lines         11852    11852              
  Branches        556      558       +2     
============================================
+ Hits           9106     9108       +2     
+ Misses         2746     2744       -2     

Impacted Files	Coverage Δ
...he/io/annotations/parser/CommentPreprocessor.scala	96.70% <0.00%> (+1.09%)	⬆️
...a/at/forsyte/apalache/tla/lir/TlaLevelFinder.scala	100.00% <0.00%> (+2.63%)	⬆️

---

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 22dddfa...75823a7. Read the comment docs.