0.8.25_Kant_v4.8.0

TRON Solidity compiler 0.8.25 is fully compatible with Ethereum Solidity 0.8.25.

New Features from TRON

Compiler Features:

• IR Generator: Support for all TRON features (experimental).
• Compilation via Yul IR is now re-marked as experimental.
• Commandline Interface: Using the --via-ir will now trigger a error and terminate the compilation, use --experimental-via-ir instead.

Bugfixes:

• IR Generator: When compiling non-payable methods, verification code for calltokenid and calltokenvalue is now automatically generated by default.
• Code Generator: The verifyMintProof and verifyTransferProof precompiled contracts will now remove redundant duplicate return elements.

Major changelog from Ethereum

Compiler Features:

• Code Generator: Use MCOPY instead of MLOAD/MSTORE loop when copying byte arrays.
• EVM: Set default EVM version to cancun.
• Yul Analyzer: Emit transient storage warning only for the first occurrence of tstore.

Bugfixes:

• Assembler: Prevent incorrect calculation of tag sizes.
• Commandline Interface: Do not run IR pipeline when --via-ir is used but no output that depends on the IR is requested.
• EVM Assembly Import: Fix handling of missing source locations during import.
• SMTChecker: Ensure query is properly flushed to a file before calling solver when using SMT-LIB interface.
• SMTChecker: Fix internal error caused by not respecting the sign of an integer type when constructing zero-value SMT expressions.
• SMTChecker: Run Eldarica only when explicitly requested with --model-checker-solvers eld, even when it is present on the system.