@@ -7,22 +7,22 @@ Language Features:
7
7
8
8
9
9
Compiler Features:
10
- * Command Line Interface: Do not perform IR optimization when only unoptimized IR is requested.
11
10
* Commandline Interface: Add `` --transient-storage-layout `` output.
11
+ * Commandline Interface: Allow the use of `` --asm-json `` output option in assembler mode to export EVM assembly of the contracts in JSON format.
12
+ * Commandline Interface: Do not perform IR optimization when only unoptimized IR is requested.
12
13
* Constant Optimizer: Uses `` PUSH0 `` if supported by the selected evm version.
13
14
* Error Reporting: Unimplemented features are now properly reported as errors instead of being handled as if they were bugs.
14
15
* EVM: Support for the EVM version "Prague".
15
16
* Peephole Optimizer: `` PUSH0 `` , when supported, is duplicated explicitly instead of using `` DUP1 `` .
16
- * Peephole optimizer : Remove identical code snippets that terminate the control flow if they occur one after another.
17
+ * Peephole Optimizer : Remove identical code snippets that terminate the control flow if they occur one after another.
17
18
* SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation.
18
19
* SMTChecker: Replace CVC4 as a possible BMC backend with cvc5.
19
- * Standard JSON Interface: Do not perform IR optimization when only unoptimized IR is requested.
20
20
* Standard JSON Interface: Add `` transientStorageLayout `` output.
21
+ * Standard JSON Interface: Do not perform IR optimization when only unoptimized IR is requested.
21
22
* Yul: Drop the deprecated typed Yul dialect that was only accessible via `` --yul `` in the CLI.
22
23
* Yul: The presence of types in untyped Yul dialects is now a parser error.
23
24
* Yul Optimizer: Caching of optimized IR to speed up optimization of contracts with bytecode dependencies.
24
25
* Yul Optimizer: The optimizer now treats some previously unrecognized identical literals as identical.
25
- * Commandline Interface: Allow the use of `` --asm-json `` output option in assembler mode to export EVM assembly of the contracts in JSON format.
26
26
27
27
28
28
Bugfixes:
0 commit comments