Halmos

What's Changed
* feat: constrain (r, s, v) signature values by karmacoma-eth in https://github.com/a16z/halmos/pull/259
* fix: vm.etch(addr, "") used to raise an exception by karmacoma-eth in https://github.com/a16z/halmos/pull/264
* feat: --solver-command lets user replace z3 invocations by karmacoma-eth in https://github.com/a16z/halmos/pull/272
* unpin z3 version by karmacoma-eth in https://github.com/a16z/halmos/pull/275 and https://github.com/a16z/halmos/pull/276

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.11...v0.1.12

What's Changed
* fix: calldata rendering bugfix, large memory offset bugfix by karmacoma-eth in https://github.com/a16z/halmos/pull/242
* docs: add multicaller example by daejunpark in https://github.com/a16z/halmos/pull/241
* fix: use consistent hex prefix handling by karmacoma-eth in https://github.com/a16z/halmos/pull/246
* feat: dump refined queries by karmacoma-eth in https://github.com/a16z/halmos/pull/250
* perf: small bytecode caching optimizations by karmacoma-eth in https://github.com/a16z/halmos/pull/249
* fix: add --build-info to forge build command by karmacoma-eth in https://github.com/a16z/halmos/pull/255
* feat: support for signing and verifying signatures by karmacoma-eth in https://github.com/a16z/halmos/pull/257
* docs: small fixes for `getting-started.md` by cos in https://github.com/a16z/halmos/pull/258

New Contributors
* cos made their first contribution in https://github.com/a16z/halmos/pull/258

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.10...v0.1.11

What's Changed
Performance:
* Reduce memory footprint in https://github.com/a16z/halmos/pull/218
Features:
* Introduce other failure modes in https://github.com/a16z/halmos/pull/237
* Add --match-test and --match-contract in https://github.com/a16z/halmos/pull/238
Dependencies:
* Drop support for python 3.8 in https://github.com/a16z/halmos/pull/226
* Require z3 4.12.2 in pyproject in https://github.com/a16z/halmos/pull/236


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.9...v0.1.10

What's Changed
* feat: nicer output by karmacoma-eth in https://github.com/a16z/halmos/pull/209
* feat: handle SIGINT and SIGTERM by karmacoma-eth in https://github.com/a16z/halmos/pull/210


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.8...v0.1.9

What's Changed
* fix: bitwise opcode semantics by daejunpark in https://github.com/a16z/halmos/pull/196
* feat: add custom solver options by daejunpark in https://github.com/a16z/halmos/pull/197
* feat: execution traces by karmacoma-eth in https://github.com/a16z/halmos/pull/199
* feat: smt solving refinement by daejunpark in https://github.com/a16z/halmos/pull/203


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.7...v0.1.8

What's Changed
* fix: resolving address alias for infeasible paths by daejunpark in https://github.com/a16z/halmos/pull/195


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.6...v0.1.7