cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Changelog entry for Z3 version.

Browse Source
This commit is contained in:
chriseth 2019-02-06 15:50:36 +01:00 committed by Leonardo Alt
parent 4058978b3b
commit bea695f3fc
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -21,6 +21,7 @@ Bugfixes:
Build System:
* Add support for continuous fuzzing via Google oss-fuzz
* SMT: If using Z3, require version 4.6.0 or newer.
* Ubuntu PPA Packages: Use CVC4 as SMT solver instead of Z3