diff options
| author | chriseth <chris@ethereum.org> | 2016-09-12 19:41:38 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-12 19:41:38 +0800 |
| commit | 149dba9ba28fef5faaa1257de4c4542741a2d2b2 (patch) | |
| tree | 4cb0333ed225792929875ab00c935cf71b202ee7 /.gitignore | |
| parent | 51a98ab84a59fd5fb34378763fd9ed635cf06d8d (diff) | |
| parent | 4337e70cca58c02de15af258a0efc29062aa0a36 (diff) | |
| download | dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.gz dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.tar.zst dexon-solidity-149dba9ba28fef5faaa1257de4c4542741a2d2b2.zip | |
Merge pull request #1045 from pirapira/formal_type_of_mapping
formal verification: Why3 translation of mapping types
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions