aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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.