{ skip to content }

Solidity 0.1.7 Release Announcement

Posted by Solidity Team on November 17, 2015

Releases

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.

Previous post

Next post

Get involved

GitHub

Twitter

Mastodon

Matrix

Discover more

BlogDocumentationUse casesContributeAboutForum

2024 Solidity Team

Security Policy

Code of Conduct