Skip to content

v0.4.8
Compare
Choose a tag to compare
@dlshriver dlshriver released this 04 Jun 17:56
· 159 commits to main since this release
v0.4.8
179cd09
This commit was signed with the committer’s verified signature.
dlshriver David Shriver
GPG key ID: DA41F8C77CFE3C0A
Learn about vigilant mode.
  • Adds ite support to the vnnlib parser
  • Adds NotEqual support to the Canonical property transformer
  • Fix a bug that causes errors when reducing properties with input constraints over slices

note: bumped 2 versions due to incorrect pypi package upload

Assets 2