Skip to content

v0.44.7
Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 07 Mar 15:28
· 398 commits to main since this release
v0.44.7
0327eaf

0.44.7 - 2024-03-07

Features

  • Add command to the server's CmdExecutor that will reply with formatted TLA+ derived from parsing the provide input. (#2852)
Assets 7
Loading