diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-17 21:35:47 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-17 21:35:47 +0800 |
| commit | f92574705033595b4a6bc20473c9f58e6f184f47 (patch) | |
| tree | a3a2f6e0ab310cb8d28024412cb9e74d6c10e8c4 /Changelog.md | |
| parent | 4ff5ddad8e8207e570b6d1f3db862b4d029affa0 (diff) | |
| parent | ae3350ae0320d140a427d2fa318e7002745a73a5 (diff) | |
| download | dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar.gz dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar.bz2 dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar.lz dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar.xz dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.tar.zst dexon-solidity-f92574705033595b4a6bc20473c9f58e6f184f47.zip | |
Merge pull request #3840 from ethereum/smt_cvc4
[SMTChecker] Integration with CVC4
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Changelog.md b/Changelog.md index 2279cd2b..cfd23ad0 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,12 +1,11 @@ ### 0.4.23 (unreleased) Features: - + * SMTChecker: Integration with CVC4 SMT solver Bugfixes: - ### 0.4.22 (2018-04-16) Features: @@ -34,7 +33,6 @@ Features: * Syntax Tests: Add source locations to syntax test expectations. * Type Checker: Improve documentation and warnings for accessing contract members inherited from ``address``. - Bugfixes: * Code Generator: Allow ``block.blockhash`` without being called. * Code Generator: Do not include internal functions in the runtime bytecode which are only referenced in the constructor. |