Halmos

What's Changed
* feat: support for TLOAD/TSTORE by daejunpark in https://github.com/a16z/halmos/pull/463


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.5...v0.2.6

What's Changed
* fix --early-exit by 0xkarmacoma in https://github.com/a16z/halmos/pull/437
* feat: add SSTORE and SLOAD to traces by 0xkarmacoma in https://github.com/a16z/halmos/pull/456


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.4...v0.2.5

What's Changed
* feat: mappings from bytecode to contract name by daejunpark in https://github.com/a16z/halmos/pull/429

Bugfixes:
* fix: add warnings when --width or --depth limits reached by daejunpark in https://github.com/a16z/halmos/pull/433
* fix: handle stack underflows in DUPn/SWAPn instructions by 0xkarmacoma in https://github.com/a16z/halmos/pull/439
* fix: avoid raising internal python error on large memory access by 0xkarmacoma in https://github.com/a16z/halmos/pull/442
* fix: check infeasible errors by daejunpark in https://github.com/a16z/halmos/pull/445

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.3...v0.2.4

What's Changed
* fix: linear memory growth by karmacoma-eth in https://github.com/a16z/halmos/pull/426
* feat: support for snapshot cheatcodes by daejunpark in https://github.com/a16z/halmos/pull/427


**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.2...v0.2.3

What's Changed
* feat: display spinning progress by daejunpark in https://github.com/a16z/halmos/pull/417
* feat: embrace uv by karmacoma-eth in https://github.com/a16z/halmos/pull/422

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.1...v0.2.2

What's Changed

This release improves internal functionalities.

Improved handling of dynamic arrays:
* feat: consider various lengths for dynamic-sized parameters by daejunpark in https://github.com/a16z/halmos/pull/384
* feat: lazy concretization by daejunpark in https://github.com/a16z/halmos/pull/392

Improved keccak hash reasoning:
* feat: handle concrete keccaks concretely by karmacoma-eth in https://github.com/a16z/halmos/pull/391
* perf: improve hash injectivity constraints by daejunpark in https://github.com/a16z/halmos/pull/406
* feat: injectivity for truncated hashes by daejunpark in https://github.com/a16z/halmos/pull/408

Misc:
* feat: target Panic(k) for any k specified in --panic-error-codes by daejunpark in https://github.com/a16z/halmos/pull/382
* fix: exclude test contract from symbolic calls by daejunpark in https://github.com/a16z/halmos/pull/388
* feat: customize bash prompt in our docker images by karmacoma-eth in https://github.com/a16z/halmos/pull/407

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

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.2.0...v0.2.1