diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-03-01 19:37:14 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-01 19:37:14 +0800 |
| commit | 2c82f748bb91a7c44ae112f5f4fc22bb63d7f861 (patch) | |
| tree | edb6821c94c1a76b50e3dfb5d990ee95ea176ad3 /libsolidity/formal/SMTChecker.h | |
| parent | c123fa26f3a90090aa6d8f8ec028e362bfdb73a0 (diff) | |
| parent | b6dfd9ef5422d80177b622fc2c486de00fcc0f73 (diff) | |
| download | dexon-solidity-2c82f748bb91a7c44ae112f5f4fc22bb63d7f861.tar.gz dexon-solidity-2c82f748bb91a7c44ae112f5f4fc22bb63d7f861.tar.zst dexon-solidity-2c82f748bb91a7c44ae112f5f4fc22bb63d7f861.zip | |
Merge pull request #3624 from ethereum/jsonio-libraries-hex
Ensure that library addresses supplied are of correct length and hex prefixed
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
0 files changed, 0 insertions, 0 deletions