Skip to content

v0.46.1

Latest
Latest
Compare
Choose a tag to compare
@coffeeinprogress coffeeinprogress released this 24 Sep 10:25
· 13 commits to main since this release
v0.46.1
0d72eb1

0.46.1 - 2024-09-24

Features

  • Periodically print Z3 statistics when --debug is on (#2992)
  • Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990)
Assets 7
Loading