Version 0.1.7

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.

Note: The source code download automatically generated by github below is not usable due to the way the repositories are laid out.