[release] 0.40.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.40.4 - 2023-06-23

Bug fixes

• Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See CherryPick rule for powersets incorrectly propagates pointers #2606
• Fix translation of nested/shadowed "_" Quint lambda parameters, see Prevent shadowing of "_" Quint lambda parameters #2608

[codecov-commenter]

Codecov Report

Merging #2616 (a34c2ef) into main (51fb96d) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #2616      +/-   ##
==========================================
- Coverage   78.49%   78.48%   -0.01%     
==========================================
  Files         445      445              
  Lines       15645    15645              
  Branches     2562     2562              
==========================================
- Hits        12280    12279       -1     
- Misses       3365     3366       +1     

see 3 files with indirect coverage changes

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