v0.17.4

apalache-bot released this 16 Nov 14:31

· 4236 commits to main since this release

69c1da6

0.17.4

Features

Add --run-dir flag, enabling users to write outputs directly to a known and
stable location, see #1081

Assets 6