diff options
author | chriseth <chris@ethereum.org> | 2018-04-18 20:28:53 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2018-04-19 03:23:09 +0800 |
commit | 489586430202d17fb60d973503ab27670474143d (patch) | |
tree | ad708894de37ac9df7c6d7f8547ded8c990dc662 /Changelog.md | |
parent | cd17c37fe6df143558a8aaadcec2495ff50f90df (diff) | |
download | dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar.gz dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar.bz2 dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar.lz dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar.xz dexon-solidity-489586430202d17fb60d973503ab27670474143d.tar.zst dexon-solidity-489586430202d17fb60d973503ab27670474143d.zip |
Warn about functions named "constructor".
Diffstat (limited to 'Changelog.md')
-rw-r--r-- | Changelog.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 230c1174..8812bace 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,8 +1,9 @@ ### 0.4.23 (unreleased) Features: - * SMTChecker: Integration with CVC4 SMT solver * Build system: Support Ubuntu Bionic. + * SMTChecker: Integration with CVC4 SMT solver + * Syntax Checker: Warn about functions named "constructor". Bugfixes: * Type Checker: Do not complain about new-style constructor and fallback function to have the same name. |