Skip to content

v0.43.0
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 18 Sep 15:39
· 717 commits to main since this release
v0.43.0
1db427e

0.43.0 - 2023-09-18

Features

    • Revise the ITF format: Use only { "#bigint": "num" }, even for small integers`
Assets 7
Loading