Solidity 0.1.7 版本发布公告

功能

• 改进了意外标记的错误消息。
• 概念验证：将代码转换为 why3，用于合约的形式化验证。

错误修复

• 写入bytes 或 string 的元素会覆盖其他元素。
• 数组（包括字符串）作为事件的索引参数。
• Windows 系统上出现“未找到后继块”错误。
• 在元组中使用字符串字面量。
• 处理库版本中无效的提交哈希。
• 修复了 Windows 系统上的一些测试框架问题。

非常感谢所有为本次版本发布做出贡献的人！

下载 Solidity 新版本点击此处.