Halmos

What's Changed

* fix: improve unknown call resolution by daejunpark in https://github.com/a16z/halmos/pull/170
* fix: enable SDIV when --smt-div is on by karmacoma-eth in https://github.com/a16z/halmos/pull/174
* feat: include model in json output by karmacoma-eth in https://github.com/a16z/halmos/pull/171
* feat: extended json output by default by daejunpark in https://github.com/a16z/halmos/pull/176


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.2...v0.1.3

What's Changed
* feat: implement DELEGATECALL and CALLCODE in https://github.com/a16z/halmos/pull/159
* feat: support struct type in https://github.com/a16z/halmos/pull/161
* feat: support CREATE2 in https://github.com/a16z/halmos/pull/163
* feat: library linking by lowprivuser in https://github.com/a16z/halmos/pull/165

New Contributors
* lowprivuser made their first contribution in https://github.com/a16z/halmos/pull/165
* rappie made their first contribution in https://github.com/a16z/halmos/pull/152

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.1...v0.1.2

What's Changed
* fix: exitcode for all setup failures in https://github.com/a16z/halmos/pull/150


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.0...v0.1.1

Release Notes
https://a16zcrypto.com/posts/article/release-notes-halmos-v0-1-0/

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.8...v0.1.0

What's Changed
* fix: balance tracking in https://github.com/a16z/halmos/pull/53
* feat: add pc opcode by plotchy in https://github.com/a16z/halmos/pull/56
* feat: add basefee opcode in https://github.com/a16z/halmos/pull/58
* feat: add invalid opcode in https://github.com/a16z/halmos/pull/60
* feat: add vm.prank() cheatcode in https://github.com/a16z/halmos/pull/62
* feat: add vm.deal() cheatcode in https://github.com/a16z/halmos/pull/63
* feat: add vm.fee/chainId/coinbase/difficulty/roll/warp() cheatcode in https://github.com/a16z/halmos/pull/64

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.7...v0.0.8

What's Changed
* Fix sys.set_int_max_str_digits error in https://github.com/a16z/halmos/pull/51


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.6...v0.0.7