Skip to content

v0.44.9
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 22 Mar 11:27
· 32 commits to main since this release
v0.44.9
fb88277

0.44.9 - 2024-03-21

Bug fixes

  • Convert Quint empty tuples as uninterpreted types/values (#2869)
Assets 7