Skip to content

0.2.0
Compare
Choose a tag to compare
@github-actions github-actions released this 20 Apr 07:58
· 30 commits to main since this release
v0.2.0
841e4a9

This release brings a lot of quality-of-life improvements compared to 0.1.0. In particular:

  • A new bundle format that no longer requires providing the model file as another input file.
  • The "witness generator" in the explorer has been improved significantly to allow sampling larger number of networks and give custom random seed.
  • The explorer now displays universally valid/invalid properties for each node, including the actual property formula.
  • Some additional minor UI tweaks.
Assets 10
Loading