aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SMTChecker.cpp
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-05-15 22:59:48 +0800
committerGitHub <noreply@github.com>2018-05-15 22:59:48 +0800
commit2ba0002998d12ea412f17d55b643ec85c02e6a30 (patch)
treec67243148b1b06eb6b8617fc344d0bc422874fa9 /test/libsolidity/SMTChecker.cpp
parent007ecc849c917cdb5b2feaa20bbab84e0fe79104 (diff)
parentdac0029d16ffe31fba2e6241f99893ea9a26926e (diff)
downloaddexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar.gz
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar.bz2
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar.lz
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar.xz
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.tar.zst
dexon-solidity-2ba0002998d12ea412f17d55b643ec85c02e6a30.zip
Merge pull request #4139 from ethereum/abiEncodeIsPure
ABI encoding functions are pure and should be usable in constants.
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
0 files changed, 0 insertions, 0 deletions