Halmos

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

What's Changed

Breaking changes
* feat: replace --symbolic-storage with enableSymbolicStorage(address) cheatcode by daejunpark in https://github.com/a16z/halmos/pull/355
* feat: empty initial network state by daejunpark in https://github.com/a16z/halmos/pull/352
* feat: reject multiple setup paths by daejunpark in https://github.com/a16z/halmos/pull/351
* perf: increase default assertion solving timeout from 1s to 1m by daejunpark in https://github.com/a16z/halmos/pull/368
* feat: deprecate --bytecode and --reset-bytecode by daejunpark in https://github.com/a16z/halmos/pull/350

New features
* feat: support for new cheatcode of generating calldata by daejunpark in https://github.com/a16z/halmos/pull/360
* feat: branching over symbolic call addresses by daejunpark in https://github.com/a16z/halmos/pull/349

Bug fixes and improvements
* perf: code fastpath scanning for valid jump destinations by karmacoma-eth in https://github.com/a16z/halmos/pull/348
* fix: failed() cheatcode error by daejunpark in https://github.com/a16z/halmos/pull/359
* fix: vm.etch() leaves storage uninitialized by karmacoma-eth in https://github.com/a16z/halmos/pull/363
* fix: manually solve dynamic array overflow conditions by daejunpark in https://github.com/a16z/halmos/pull/366

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

What's Changed

halmos.toml configuration
* feat: enhance configuration management by using toml configuration file by pillip in https://github.com/a16z/halmos/pull/296
* feat: toml config, take 2 by karmacoma-eth in https://github.com/a16z/halmos/pull/298
* docs: example halmos.toml by karmacoma-eth in https://github.com/a16z/halmos/pull/299

Docker images
* feat: use docker image to load solvers and setup the testing environment by EmperorOrokuSaki in https://github.com/a16z/halmos/pull/295
* feat: solvers package by karmacoma-eth in https://github.com/a16z/halmos/pull/302
* ci: run workflow using `solvers` as a base image by karmacoma-eth in https://github.com/a16z/halmos/pull/307
* ci: add intermediary halmos-builder image and dockerize more workflows by karmacoma-eth in https://github.com/a16z/halmos/pull/308

Cheatcode/opcode support
* feat: support for forge-std assert cheatcodes by daejunpark and EmperorOrokuSaki in https://github.com/a16z/halmos/pull/323
* feat: support vm.getBlockNumber cheatcode by pillip in https://github.com/a16z/halmos/pull/325
* feat: functional implementation of EXTCODEHASH and EXTCODECOPY by karmacoma-eth in https://github.com/a16z/halmos/pull/328
* feat: add support for prank(sender, origin) and startPrank(sender, origin) cheatcodes by karmacoma-eth in https://github.com/a16z/halmos/pull/336

UX improvements
* feat: parse symbols from build to print readable traces by pillip in https://github.com/a16z/halmos/pull/309
* feat: trace rendering: extract selector from calldata by karmacoma-eth in https://github.com/a16z/halmos/pull/339
* feat: add ERC-1155 token receiver hooks as defaults in unknown call resolution by pcaversaccio in https://github.com/a16z/halmos/pull/291
* fix: handle solidity files with no contracts by karmacoma-eth in https://github.com/a16z/halmos/pull/333
* fix: simplify symbol parsing by karmacoma-eth in https://github.com/a16z/halmos/pull/334
* cli: deprecated --solver-parallel by daejunpark in https://github.com/a16z/halmos/pull/314

Performance improvements
* perf: chunk based memory model by karmacoma-eth in https://github.com/a16z/halmos/pull/288
* perf: optimize execution loop by karmacoma-eth in https://github.com/a16z/halmos/pull/293
* feat: cache unsat queries using unsat core by daejunpark in https://github.com/a16z/halmos/pull/311
* perf: prune infeasible paths early by daejunpark in https://github.com/a16z/halmos/pull/319
* perf: early exit for fail() by daejunpark in https://github.com/a16z/halmos/pull/322
* perf: abstract multiplication by daejunpark in https://github.com/a16z/halmos/pull/340

Bugfixes
* fix: smt encoding for evm div-by-zero by daejunpark in https://github.com/a16z/halmos/pull/271
* fix: use --ast to enable foundry build cache by daejunpark in https://github.com/a16z/halmos/pull/289
* fix: add Missing Error Code in `parse_build_out` Warning by pcaversaccio in https://github.com/a16z/halmos/pull/300
* fix bad abi encoding in createBytes4 by karmacoma-eth in https://github.com/a16z/halmos/pull/329
* fix: parsing unsat core output variants by daejunpark in https://github.com/a16z/halmos/pull/337

New Contributors
* pcaversaccio made their first contribution in https://github.com/a16z/halmos/pull/291
* EmperorOrokuSaki made their first contribution in https://github.com/a16z/halmos/pull/295
* pillip made their first contribution in https://github.com/a16z/halmos/pull/296

**Full Changelog**: https://github.com/a16z/halmos/compare/v0.1.13...v0.1.14