• Improved error messages for unexpected tokens.
  • Proof-of-concept transcompilation to why3 for formal verification of contracts.


  • Writing to elements of bytes or string overwrite others.
  • Arrays (also strings) as indexed parameters of events.
  • “Successor block not found” on Windows.
  • Using string literals in tuples.
  • Cope with invalid commit hash in version for libraries.
  • Some test framework fixes on windows.

A big thank you to all contributors who helped make this release possible!

Download the new version of Solidity here.