Halmos

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

What's Changed
* refactor: storage layout handling by karmacoma-eth in https://github.com/a16z/halmos/pull/194


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

What's Changed
* feat: add `ffi` cheatcode by luksgrin in https://github.com/a16z/halmos/pull/185
* feat: add support for custom storage layouts by daejunpark in https://github.com/a16z/halmos/pull/192

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.4...v0.1.5

What's Changed
* feat: summarized warnings by daejunpark in https://github.com/a16z/halmos/pull/183


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