[release] 0.44.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.44.4 - 2024-01-29

Bug fixes

• When given an empty .tla file, report a clean user error instead of crashing with an exception (Handle empty file error #2821).

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b8e7c83) 78.92% compared to head (5530f1e) 78.90%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #2823      +/-   ##
==========================================
- Coverage   78.92%   78.90%   -0.02%     
==========================================
  Files         467      467              
  Lines       15944    15944              
  Branches     2585     2585              
==========================================
- Hits        12584    12581       -3     
- Misses       3360     3363       +3     

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