ethereum/solidity v0.8.8

Version 0.8.8

on GitHub

Solidity v0.8.8 introduces user defined value types as a major feature, improves overriding interface functions and reading from immutables. Apart from bugfixes, we also cleaned up the command-line interface and improved the way the
import mechanism resolves files.

For more details, see the release announcement.

Language Features:

• Inheritance: A function that overrides only a single interface function does not require the override specifier.
• Type System: Support type(E).min and type(E).max for enums.
• User Defined Value Type: allows creating a zero cost abstraction over a value type with stricter type requirements.

Compiler Features:

• Commandline Interface: Add --include-path option for specifying extra directories that may contain importable code (e.g. packaged third-party libraries).
• Commandline Interface: Do not implicitly run evm bytecode generation unless needed for the requested output.
• Commandline Interface: Normalize paths specified on the command line and make them relative for files located inside base path and/or include paths.
• Immutable variables can be read at construction time once they are initialized.
• SMTChecker: Add constraints to better correlate address(this).balance and msg.value.
• SMTChecker: Support constants via modules.
• SMTChecker: Support low level call as external calls to unknown code.
• SMTChecker: Support the value option for external function calls.
• SMTChecker: Support user defined value types.

Bugfixes:

• Code Generator: Fix ICE on assigning to calldata structs and statically-sized calldata arrays in inline assembly.
• Code Generator: Use stable source order for ABI functions.
• Commandline Interface: Disallow the --experimental-via-ir option in Standard JSON, Assembler and Linker modes.
• Commandline Interface: Fix resolution of paths whitelisted with --allowed-paths or implicitly due to base path, remappings and files being compiled. Correctly handle paths that do not match imports exactly due to being relative, non-normalized or empty.
• Commandline Interface: Report optimizer options as invalid in Standard JSON and linker modes instead of ignoring them.
• Name Resolver: Fix that when importing an aliased symbol using import {AliasedName} from "a.sol" it would use the original name of the symbol and not the aliased one.
• Opcode Optimizer: Prevent the optimizer from running multiple times to avoid potential bytecode differences for referenced code.
• Parser: Properly check for multiple SPDX license identifiers next to each other and validate them.
• SMTChecker: Fix BMC's constraints regarding internal functions.
• SMTChecker: Fix false negative caused by push on storage array references returned by internal functions.
• SMTChecker: Fix false positive in external calls from constructors.
• SMTChecker: Fix internal error on some multi-source uses of abi.*, cryptographic functions and constants.
• Standard JSON: Fix non-fatal errors in Yul mode being discarded if followed by a fatal error.
• Type Checker: Correct wrong error message in inline assembly complaining about .slot or .offset` not valid when actually .length`` was used.
• Type Checker: Disallow modifier declarations and definitions in interfaces.
• Yul Optimizer: Fix a crash in LoadResolver, when keccak256 has particular non-identifier arguments.

We especially thank all the contributors that made this release possible:

Ahmed Ali, Alessandro Coglio, Alex Beregszaszi, Alexander Arlt, Andrew Lyndem, Basit Raza, benldrmn, Bhargava Shastry, CrimsonGlory, Daniel Kirchner, Harikrishnan Mulackal, hawkess, istareatscreens, John Adler, Kamil Śliwak, Leonardo Alt, Marenz, Midhun07, Nikita Stupin, Paul Razvan Berg, priyansh786, Sean Hawkes, soroosh-sdi, Sreekesh V, yatharthagoenka

If you want to perform a source build, please only use solidity_0.8.8.tar.gz and not the zip provided by github directly.