Skip to content

v0.30.1
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 07 Nov 00:45
· 1232 commits to main since this release
v0.30.1
d447364

0.30.1 - 2022-11-07

Features

  • Server port is now configurable via the --port CLI argument or server.port configuration key (see #2264).
Assets 7
Loading