Skip to content

Releases: matter-labs/era-solidity

ZKsync solc 0.8.28-1.0.1

11 Oct 19:40
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc mlir-0.8.26-tag

16 Sep 20:19
64a757c
Compare
Choose a tag to compare

Language Features:

  • Introduce a new overload require(bool, Error) that allows usage of require functions with custom errors. This feature is available in the via-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

13 Sep 11:40
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.4.16-1.0.1

06 Jun 08:16
cf588aa
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.4.15-1.0.1

06 Jun 08:13
e3ad374
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.4.14-1.0.1

06 Jun 08:09
58dce8e
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.4.13-1.0.1

06 Jun 08:05
2e10cee
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.4.12-1.0.1

06 Jun 08:02
42a8894
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.8.26-1.0.1

05 Jun 10:00
905b735
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)

ZKsync solc 0.8.25-1.0.1

05 Jun 11:19
47b979f
Compare
Choose a tag to compare

Bugfixes:

  • Fixed nested try-catch lowering in EVM assembly codegen (^0.6.0)