diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-06-12 17:07:56 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-12 17:07:56 +0800 |
| commit | 56a965ea96203201155fc50a893931e7e60fddbe (patch) | |
| tree | c0c880f5f5cff761dd144be18cd7c78528462b08 /libsolidity/formal/SMTLib2Interface.cpp | |
| parent | ae2b5898503dd744c04ab605c479e1d2aa4e4d79 (diff) | |
| parent | abfec6829dee0e667c653d7c0e52f761d8771242 (diff) | |
| download | dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar.gz dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar.bz2 dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar.lz dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar.xz dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.tar.zst dexon-solidity-56a965ea96203201155fc50a893931e7e60fddbe.zip | |
Merge pull request #4232 from ethereum/renameiulia
Rename iulia to yul in documentation.
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.cpp')
0 files changed, 0 insertions, 0 deletions