Releases: matter-labs/era-solidity
Releases · matter-labs/era-solidity
ZKsync solc 0.8.28-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc mlir-0.8.26-tag
Language Features:
- Introduce a new overload
require(bool, Error)
that allows usage ofrequire
functions with custom errors. This feature is available in thevia-ir
pipeline only.
Compiler Features:
- SMTChecker: Create balance check verification target for CHC engine.
- Yul IR Code Generation: Cheaper code for reverting with errors of a small static encoding size.
- Yul Optimizer: New, faster default optimizer step sequence.
Bugfixes:
- Commandline Interface: Fix ICE when the optimizer is disabled and an empty/blank string is used for
--yul-optimizations
sequence. - SMTChecker: Fix false positive when comparing hashes of same array or string literals.
- SMTChecker: Fix internal error on mapping access caused by too strong requirements on sort compatibility of the index and mapping domain.
- SMTChecker: Fix internal error when using an empty tuple in a conditional operator.
- SMTChecker: Fix internal error when using bitwise operators with an array element as argument.
- Standard JSON Interface: Fix ICE when the optimizer is disabled and an empty/blank string is used for
optimizerSteps
sequence. - StaticAnalyzer: Only raise a compile time error for division and modulo by zero when it's between literals.
- TypeChecker: Fix compiler crash when the left-hand side of an assignment was a parenthesized non-tuple expression of a tuple type.
- Yul Optimizer: Fix optimizer executing each repeating part of the step sequence at least twice, even if the code size already became stable after the first iteration.
- Yul Optimizer: Fix the order of assignments generated by
SSATransform
being dependent on AST IDs, sometimes resulting in different (but equivalent) bytecode when unrelated files were added to the compilation pipeline.
Build System:
- Replace internal JSON library jsoncpp with nlohmann::json.
ZKsync solc 0.8.27-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.4.16-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.4.15-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.4.14-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.4.13-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.4.12-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.8.26-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)
ZKsync solc 0.8.25-1.0.1
Bugfixes:
- Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)