v0.44.10

apalache-bot released this 25 Mar 18:08

· 362 commits to main since this release

0.44.10 - 2024-03-25

Bug fixes

Fix a problem where different quantified variables from Quint received the same TlaType1 var number (#2873).

Assets 7