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