Skip to content

Releases: plasma-umass/bigO

v0.0.6

10 Mar 18:44
dd521b5
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.5...v0.0.6

Maintenance release for thread-safety

27 Feb 22:12
72eeabb
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.4...v0.0.5

v0.0.4

26 Feb 19:51
41a01bb
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.0.3...v0.0.4

v0.0.3

25 Feb 20:42
1401e3a
Compare
Choose a tag to compare

Full Changelog: v0.0.2...v0.0.3

v0.0.2

25 Feb 19:07
1334075
Compare
Choose a tag to compare

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

Initial release

13 Dec 01:43
Compare
Choose a tag to compare
v0.0.1

Import/export.