diff options
| author | chriseth <chris@ethereum.org> | 2018-07-04 19:56:10 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-04 19:56:10 +0800 |
| commit | 476372243bac932ae876bf24c236d48870be2912 (patch) | |
| tree | 126d4afb677ecd531532573f22be95090145f48f /libsolidity/formal/CVC4Interface.h | |
| parent | 533d5d4b1cc4374decc704de8c86ad4cef6214fc (diff) | |
| parent | 8202d512e0bd4e6b4a19ed483afff288514e75bd (diff) | |
| download | dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar.gz dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar.bz2 dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar.lz dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar.xz dexon-solidity-476372243bac932ae876bf24c236d48870be2912.tar.zst dexon-solidity-476372243bac932ae876bf24c236d48870be2912.zip | |
Merge pull request #4423 from ethereum/enforce_error_gasleft
[BREAKING] Enforce error on msg.gas and block.blockhash()
Diffstat (limited to 'libsolidity/formal/CVC4Interface.h')
0 files changed, 0 insertions, 0 deletions