Skip to content

v0.44.8
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 20 Mar 11:50
· 282 commits to main since this release
v0.44.8
2509f9b

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)
Assets 7
Loading