此版本增加了对访问合约类型代码的支持，希望这将使新的CREATE2 操作码更容易使用。我们还在编译器中添加了一些静态分析功能，但大多数更改是在“幕后”完成的，为使用基于新 Yul 的优化器与 ABIEncoderV2 做准备。
语言特性
- 通过 type(C).creationCode / type(C).runtimeCode 提供对合约创建和运行时代码的访问。
编译器特性
- 控制流图：警告无法到达的代码。
- SMTChecker：支持基本的类型转换，但不会截断。
- SMTChecker：支持外部函数调用并擦除所有关于存储变量和引用的知识。
错误修复
- Emscripten：进一步拆分简化规则初始化，以解决某些浏览器中 soljson.js 的问题。
- 类型检查器：在 calldata 结构实现之前禁止使用。
- 类型检查器：如果尝试使用定点编码而不是抛出 UnimplementedFeatureError，则返回类型错误。
- Yul：在解析时检查 dataoffset 和 datasize 的参数是否为字面量，并在优化器中正确考虑这一点。
- Yul：解析数字字面量以检测重复的 switch case。
- Yul：要求 switch case 具有相同的类型。
构建系统
- Emscripten：在 travis 和 circleci 上升级到 emscripten 1.38.8。
非常感谢所有帮助使此版本发布成为可能的贡献者！
下载新版本的 Solidity点击此处.