diff options
| author | chriseth <chris@ethereum.org> | 2018-10-04 19:02:33 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-04 19:02:33 +0800 |
| commit | 1305bf34f0f82983868028cf2e39f218ba742385 (patch) | |
| tree | ed4972c644e98b3bbade80883513c6bbc9857f81 /libsolidity | |
| parent | 98fa46bfe0c90e94218e0c0a2a621e0dfb5c36ed (diff) | |
| parent | 26d36e1faac40fb0570965a33b67f7651ce8eeaa (diff) | |
| download | dexon-solidity-1305bf34f0f82983868028cf2e39f218ba742385.tar.gz dexon-solidity-1305bf34f0f82983868028cf2e39f218ba742385.tar.zst dexon-solidity-1305bf34f0f82983868028cf2e39f218ba742385.zip | |
Merge pull request #5073 from IIIIllllIIIIllllIIIIllllIIIIllllIIIIll/patch-4
separate out a new "Design Criteria" section from "Formal Specification"
Diffstat (limited to 'libsolidity')
0 files changed, 0 insertions, 0 deletions