Solidity 0.8.1 introduces many new features for the SMTChecker, updates the emscripten version for building soljson.js to 2.0.12, allows to catch panic errors and adds other small improvements.
Blog announcement: Solidity 0.8.1 Release Announcement | Solidity Blog
Notable New Features
- SMTChecker Counterexamples and Synthesis of External Functions
- How to select SMTChecker targets
- Catch Panic
- Code Length Shortcut
Read more information about the notable new features in the release announcement.
If you like you can help us spread the word about the new version on Twitter, too!