Skip to content

1.2.1: Documentation + Minor Fixes
Compare
Choose a tag to compare
@franksn90 franksn90 released this 20 Jun 16:08
· 17 commits to main since this release
1.2.1
8d835b0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Updates the tool documentation and includes an example.

Minor Bug Fixes:

  • Color for simulation results now based on correct data
  • Refinement now triggers re-verify indicator
  • Time bounds no longer (over-eagerly) adjusted by the tool
  • Minor layout improvements
Assets 2
Loading