v0.22.3

apalache-bot released this 21 Mar 01:33

· 2812 commits to main since this release

0.22.3

Features

An optimization in function application, see #1500

Bug fixes

Fix stack overflow and out-of-memory in function operators, see #1498
Fix function application static check in arrays encoding, see #1490
Add support for the community modules FiniteSetsExt and Functions, see #1484
Add support for Bags, see #1527

Assets 6