Skip to content

v0.44.6

Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 04 Mar 18:11
· 488 commits to main since this release

0.44.6 - 2024-03-04

Features

  • Increase the Apalache server's gRPC message size limit from 8MB to 64MB. (#2847)