New
v0.3.2
What's Changed
- add option to download bitwuzla's static binaries by @0xkarmacoma in https://github.com/a16z/halmos/pull/566
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.1...v0.3.2
Unclaimed project
Are you a maintainer of halmos? Claim this project to take control of your public changelog and roadmap.
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.1...v0.3.2