Halmos

What's Changed
* feat: add getCode cheatcode by ncitron in https://github.com/a16z/halmos/pull/45
* Add setUpPlus in https://github.com/a16z/halmos/pull/46
* Symbolic jump by karmacoma-eth in https://github.com/a16z/halmos/pull/36 and https://github.com/a16z/halmos/pull/48

New Contributors
* ncitron made their first contribution in https://github.com/a16z/halmos/pull/45
* karmacoma-eth made their first contribution in https://github.com/a16z/halmos/pull/36 and https://github.com/a16z/halmos/pull/48

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

What's Changed
* Improve nonlinear arithmetic reasoning in https://github.com/a16z/halmos/pull/38
* Add SIGNEXTEND opcode by zobront in https://github.com/a16z/halmos/pull/41

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.4...v0.0.5

What's Changed
* Better support dynamic arrays in https://github.com/a16z/halmos/pull/31
* Improve counterexample output in https://github.com/a16z/halmos/pull/32


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.3...v0.0.4

What's Changed
* Do not ignore unsupported cheatcode in https://github.com/a16z/halmos/pull/18
* Support setUp() test patterns in https://github.com/a16z/halmos/pull/21
* Support multiple compilation units in https://github.com/a16z/halmos/pull/22
* Lower required python version to >=3.8 in https://github.com/a16z/halmos/pull/23
* Fix axiom encoding in https://github.com/a16z/halmos/pull/24


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.0.2...v0.0.3