[release] 0.44.8

[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.44.8 - 2024-03-20

Bug fixes

• Sanitize names while pretty printing to avoid invalid names (Sanitize identifiers when pretty printing #2860)
• When converting Quint lambdas, derive the return type from the Quint type inferred for the lambda, rather the type inferred for the body expression, avoiding mismatches with Apalache type variables. (Use type given by quint to build lambda bodies #2856)

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.91%. Comparing base (656a8c9) to head (81c3f8a).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2867      +/-   ##
==========================================
+ Coverage   78.89%   78.91%   +0.01%     
==========================================
  Files         467      467              
  Lines       15963    15963              
  Branches     2589     2589              
==========================================
+ Hits        12594    12597       +3     
+ Misses       3369     3366       -3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.