New
v0.2.6
What's Changed
- feat: support for TLOAD/TSTORE by @daejunpark in https://github.com/a16z/halmos/pull/463
Full Changelog: https://github.com/a16z/halmos/compare/v0.2.5...v0.2.6
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 about 1 year ago
Full Changelog: https://github.com/a16z/halmos/compare/v0.2.5...v0.2.6
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
Python tool for converting files and office documents to Markdown.
:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on GitHub.