diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-01-05 04:23:56 +0800 |
|---|---|---|
| committer | Leonardo Alt <leonardoaltt@gmail.com> | 2018-01-05 04:23:56 +0800 |
| commit | e27418cb3369c8b7fa3f18ef63425ea2918b7cee (patch) | |
| tree | cef60e5620388ba6100350777e05d0cdcaecfe66 | |
| parent | 346aa61f6c91574a5c056c6299e9516890891690 (diff) | |
| download | dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.gz dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.zst dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.zip | |
[SMTChecker] Added feature line to Changelog
| -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. |