[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-11

Bug fixes

• 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.90%. Comparing base (dd1fef9) to head (57adf73).

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2857      +/-   ##
==========================================
+ Coverage   78.88%   78.90%   +0.01%     
==========================================
  Files         467      467              
  Lines       15959    15959              
  Branches     2592     2592              
==========================================
+ Hits        12590    12593       +3     
+ Misses       3369     3366       -3     

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