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.
Changelog
A symbolic testing tool for EVM smart contracts
Last updated 12 months ago
Full Changelog: https://github.com/a16z/halmos/compare/v0.3.1...v0.3.2
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
A feature-rich command-line audio/video downloader
:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.
Python tool for converting files and office documents to Markdown.