diff options
| author | chenquan <terasum@163.com> | 2018-01-05 20:43:24 +0800 |
|---|---|---|
| committer | chenquan <terasum@163.com> | 2018-01-05 20:43:24 +0800 |
| commit | d0d952283776dd7a99f4b575e34f8a345ba01130 (patch) | |
| tree | 3538eada3231357e8d8d384e43ea3add0e3306a6 /Changelog.md | |
| parent | 42cc3915feaa85ec562d9496e92b50ac59edfdb3 (diff) | |
| parent | 35095e9fcc53f76a1c73251497c265f399a9896c (diff) | |
| download | dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar.gz dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar.bz2 dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar.lz dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar.xz dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.tar.zst dexon-solidity-d0d952283776dd7a99f4b575e34f8a345ba01130.zip | |
Merge branch 'develop' of https://github.com/ethereum/solidity into develop
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md index 13c8118f..bfaeeb27 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,6 +3,8 @@ Features: * Limit the number of warnings raised for creating abstract contracts. * Inline Assembly: Issue warning for using jump labels (already existed for jump instructions). + * SMT Checker: If-else branch conditions are taken into account in the SMT encoding of the program + variables. Bugfixes: * Parser: Disallow event declarations with no parameter list. |