Solidity v0.8.1 is here!

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.

:open_book: Blog announcement: Solidity 0.8.1 Release Announcement | Solidity Blog

:minidisc: Release: Release Version 0.8.1 ยท ethereum/solidity ยท GitHub

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! :arrow_down:

4 Likes