Skip to content

v0.0.2

Choose a tag to compare

View all tags
@stephenfreund stephenfreund released this 25 Feb 19:07
· 41 commits to main since this release
v0.0.2
1334075
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Instruction counting by @emeryberger in #6
  • Count conditional branches (proxy for basic blocks) by @emeryberger in #7
  • Branch counter fixes by @emeryberger in #8
  • Major rewrite/refactoring by @stephenfreund in #9
    • general curve fitting to fit more complexity classes.
    • additional annotations to support: verification of declared bounds; verification of hard limits; ab testing

Full Changelog: v0.0.1...v0.0.2

Contributors

stephenfreund and emeryberger
Assets 2
Loading