pypi halmos 0.2.0
v0.2.0

latest releases: 0.3.3, 0.3.2, 0.3.1...
17 months ago

What's Changed

Breaking changes

New features

Bug fixes and improvements

  • perf: code fastpath scanning for valid jump destinations by @karmacoma-eth in #348
  • fix: failed() cheatcode error by @daejunpark in #359
  • fix: vm.etch() leaves storage uninitialized by @karmacoma-eth in #363
  • fix: manually solve dynamic array overflow conditions by @daejunpark in #366

Full Changelog: v0.1.14...v0.2.0

Don't miss a new halmos release

NewReleases is sending notifications on new releases.