v0.3.3

What's Changed

• avoid solver race conditions with a lock by @0xkarmacoma in #569
• create solver_output in case of errors too by @0xkarmacoma in #570

Full Changelog: v0.3.2...v0.3.3

v0.3.2

What's Changed

• add option to download bitwuzla's static binaries by @0xkarmacoma in #566

Full Changelog: v0.3.1...v0.3.2

v0.3.1

What's Changed

• temporarily avoid rich 14.1.0 by @0xkarmacoma in #564

Full Changelog: v0.3.0...v0.3.1

v0.3.0

Release Notes

https://a16zcrypto.com/posts/article/halmos-v0-3-0-release-highlights/

New Contributors

• @Jayakumar2812 made their first contribution in #471
• @copilot-swe-agent made their first contribution in #533

Full Changelog: v0.2.6...v0.3.0

v0.2.6

What's Changed

• feat: support for TLOAD/TSTORE by @daejunpark in #463

Full Changelog: v0.2.5...v0.2.6

v0.2.5

What's Changed

• fix --early-exit by @0xkarmacoma in #437
• feat: add SSTORE and SLOAD to traces by @0xkarmacoma in #456

Full Changelog: v0.2.4...v0.2.5

v0.2.4

What's Changed

• feat: mappings from bytecode to contract name by @daejunpark in #429

Bugfixes:

• fix: add warnings when --width or --depth limits reached by @daejunpark in #433
• fix: handle stack underflows in DUPn/SWAPn instructions by @0xkarmacoma in #439
• fix: avoid raising internal python error on large memory access by @0xkarmacoma in #442
• fix: check infeasible errors by @daejunpark in #445

New Contributors

• @zbraiterman made their first contribution in #435

Full Changelog: v0.2.3...v0.2.4

v0.2.3

What's Changed

• fix: linear memory growth by @karmacoma-eth in #426
• feat: support for snapshot cheatcodes by @daejunpark in #427

Full Changelog: v0.2.2...v0.2.3

v0.2.2

What's Changed

• feat: display spinning progress by @daejunpark in #417
• feat: embrace uv by @karmacoma-eth in #422

New Contributors

• @mdqst made their first contribution in #424

Full Changelog: v0.2.1...v0.2.2

v0.2.1

What's Changed

This release improves internal functionalities.

Improved handling of dynamic arrays:

• feat: consider various lengths for dynamic-sized parameters by @daejunpark in #384
• feat: lazy concretization by @daejunpark in #392

Improved keccak hash reasoning:

• feat: handle concrete keccaks concretely by @karmacoma-eth in #391
• perf: improve hash injectivity constraints by @daejunpark in #406
• feat: injectivity for truncated hashes by @daejunpark in #408

Misc:

• feat: target Panic(k) for any k specified in --panic-error-codes by @daejunpark in #382
• fix: exclude test contract from symbolic calls by @daejunpark in #388
• feat: customize bash prompt in our docker images by @karmacoma-eth in #407

New Contributors

• @PatrickAlphaC made their first contribution in #378

Full Changelog: v0.2.0...v0.2.1