Merge pull request #9112 from ethereum/batch-changelog-update

Missing changelog entries for a few of my PRs from this release
This commit is contained in:
chriseth 2020-06-04 12:31:34 +02:00 committed by GitHub
commit 81987da07e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -31,6 +31,7 @@ Bugfixes:
* SMTChecker: Fix internal error when short circuiting Boolean expressions with function calls in state variable initialization.
* SMTChecker: Fix internal error when assigning to index access inside branches.
* SMTChecker: Fix internal error on try/catch clauses with parameters.
* Commandline Interface: Fix internal error when using ``--assemble`` or ``--yul`` options with ``--machine ewasm`` but without specifying ``--yul-dialect``.
### 0.6.8 (2020-05-14)