Features:
- Improved error messages for unexpected tokens.
- Proof-of-concept transcompilation to why3 for formal verification of contracts.
Bugfixes:
- 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.