What's Changed
- feat: constrain (r, s, v) signature values by @karmacoma-eth in #259
- fix: vm.etch(addr, "") used to raise an exception by @karmacoma-eth in #264
- feat: --solver-command lets user replace z3 invocations by @karmacoma-eth in #272
- unpin z3 version by @karmacoma-eth in #275 and #276
Full Changelog: v0.1.11...v0.1.12