Added changelog

This commit is contained in:
hrkrshnn 2020-04-07 21:17:35 +05:30
parent 229587672f
commit 96411711ef

View File

@ -8,6 +8,7 @@ Compiler Features:
Bugfixes: Bugfixes:
* SMTChecker: Fix internal error in the CHC engine when calling inherited functions internally. * SMTChecker: Fix internal error in the CHC engine when calling inherited functions internally.
* Type Checker: Error when trying to encode functions with call options gas and value.