Skip to content

v0.44.9

Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 22 Mar 11:27
· 372 commits to main since this release

0.44.9 - 2024-03-21

Bug fixes

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