Bugfix release: In the previous release, it was possible to define two constructors (one using the new constructor-keyword syntax, another one with the old syntax) for a contract, but only one of them got used in the end. We also included other bugfixes.
If you want to perform a source build, please only use solidity_0.4.23.tar.gz and not the zip provided by github directly.
Features:
- Build system: Support Ubuntu Bionic.
- SMTChecker: Integration with CVC4 SMT solver
- Syntax Checker: Warn about functions named "constructor".
Bugfixes:
- Type Checker: Improve error message for failed function overload resolution.
- Type Checker: Do not complain about new-style constructor and fallback function to have the same name.
- Type Checker: Detect multiple constructor declarations in the new syntax and old syntax.
- Type Checker: Explicit conversion of
bytesXXtocontractis properly disallowed.
We especially thank all our open source community contributors: Thomas Sauvajon