Changelog entry.

This commit is contained in:
chriseth 2019-04-04 17:50:04 +02:00
parent 1be3882ade
commit 804c1553bf

View File

@ -22,6 +22,7 @@ Compiler Features:
Bugfixes:
* SMTChecker: Implement Boolean short-circuiting.
* SMTChecker: SSA control-flow did not take into account state variables that were modified inside inlined functions that were called inside branches.
* Yul: Properly register functions and disallow shadowing between function variables and variables in the outside scope.