This is a small bugfix release that solves an issue with certain tuple assignments.
Important Bugfixes:
- Fix tuple assignments with components occupying multiple stack slots and different stack size on left- and right-hand-side.
Bugfixes:
- AST export: Export immutable property in the field mutability.
- SMTChecker: Fix internal error in the CHC engine when calling inherited functions internally.
- Type Checker: Error when trying to encode functions with call options gas and value set.
A big thank you to all contributors who helped make this release possible!
Download the new version of Solidity here.