New
v0.3.1
What's Changed
- temporarily avoid rich 14.1.0 by @0xkarmacoma in https://github.com/a16z/halmos/pull/564
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.0...v0.3.1
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.0...v0.3.1