v0.25.1

apalache-bot released this 09 May 04:20

· 2359 commits to main since this release

be9ff61

0.25.1

Features

Support for native ARM64/AArch64 JVMs (and thus Apple Silicon), see #751

Bug fixes

Fix usage of sets of function sets in the arrays encoding, see #1680
Fix an uncaught exception when setting up the output manager, see #1706
Handle heap memory exhaustion gracefully, see #1711

Assets 6