这是一个小的错误修复版本,解决了某些元组赋值的问题。 重要的错误修复 修复元组赋值,其中组件占用多个堆栈槽,并且左右两边的堆栈大小不同。 错误修复 AST 导出:导出immutable 字段中的属性 mutability。SMTChecker:修复 CHC 引擎在内部调用继承函数时的内部错误。类型检查器:尝试编码设置了调用选项 gas 和 value 的函数时的错误。 衷心感谢所有帮助实现此版本发布的贡献者! 下载新版本的 Solidity这里.