diff options
| author | Daniel Kirchner <daniel@ekpyron.org> | 2018-09-13 23:30:54 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-13 23:30:54 +0800 |
| commit | e7daed68c1977683546ac3e72d4f84ff538f6711 (patch) | |
| tree | bb2595e6cc12d420c22bc0373bcb5a7f81c3b0bb /libsolidity/formal/SMTLib2Interface.h | |
| parent | 5aa5fa78f32c89fcf8f635db026d18a6ba8ef132 (diff) | |
| parent | ae35a58124852eda9a5e6bf67f9976198d2f9c0f (diff) | |
| download | dexon-solidity-e7daed68c1977683546ac3e72d4f84ff538f6711.tar.gz dexon-solidity-e7daed68c1977683546ac3e72d4f84ff538f6711.tar.zst dexon-solidity-e7daed68c1977683546ac3e72d4f84ff538f6711.zip | |
Merge pull request #4911 from ethereum/addressPayable
Payable and non-payable address type.
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.h')
0 files changed, 0 insertions, 0 deletions