aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLeonardo Alt <leonardoaltt@gmail.com>2018-01-05 04:23:56 +0800
committerLeonardo Alt <leonardoaltt@gmail.com>2018-01-05 04:23:56 +0800
commite27418cb3369c8b7fa3f18ef63425ea2918b7cee (patch)
treecef60e5620388ba6100350777e05d0cdcaecfe66
parent346aa61f6c91574a5c056c6299e9516890891690 (diff)
downloaddexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.gz
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.bz2
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.lz
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.xz
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.tar.zst
dexon-solidity-e27418cb3369c8b7fa3f18ef63425ea2918b7cee.zip
[SMTChecker] Added feature line to Changelog
-rw-r--r--Changelog.md2
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.