Merge pull request #2867 from informalsystems/release/0.44.8

[release] 0.44.8
informalsystems · Mar 20, 2024 · 8366559 · 8366559
2 parents 656a8c9 + 81c3f8a
commit 8366559
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 5 deletions.
diff --git a/.unreleased/bug-fixes/pretty-printer-id-sanitization.md b/.unreleased/bug-fixes/pretty-printer-id-sanitization.md
diff --git a/.unreleased/bug-fixes/quint-lambda-types-conversion.md b/.unreleased/bug-fixes/quint-lambda-types-conversion.md
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,13 @@
 <!-- NOTE: This file is generated. Do not write release notes here.
  Notes for unreleased changes go in the .unreleased/ directory. -->
 
+## 0.44.8 - 2024-03-20
+
+### Bug fixes
+
+- Sanitize names while pretty printing to avoid invalid names (#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. (#2856)
+
 ## 0.44.7 - 2024-03-07
 
 ### Features

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.44.8-SNAPSHOT
+0.44.9-SNAPSHOT