v0.42.0

apalache-bot released this 21 Aug 14:34

· 776 commits to main since this release

ec979d4

0.42.0 - 2023-08-21

Breaking changes

Update Quint deserialization for compatibility with version > 0.13.0, see #2696

Bug fixes

Fix a bug with decoding unconstrained model values of uninterpreted types.

Assets 7