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.