aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorNicolai <NicolaiSoeborg@users.noreply.github.com>2016-07-20 00:59:34 +0800
committerNicolai <NicolaiSoeborg@users.noreply.github.com>2016-07-20 00:59:34 +0800
commit8e6272b020c2866e780abd3544913fd58656fb6a (patch)
treea0f6d1123da75604179624c9f9ac2c8b6bbd52ac /libsolidity/formal
parent447797ad9c5228ca50a4fa5b17ced4aba07e8d65 (diff)
downloaddexon-solidity-8e6272b020c2866e780abd3544913fd58656fb6a.tar.gz
dexon-solidity-8e6272b020c2866e780abd3544913fd58656fb6a.tar.zst
dexon-solidity-8e6272b020c2866e780abd3544913fd58656fb6a.zip
Added ElementaryTypeName, removed explicit recursion
Diffstat (limited to 'libsolidity/formal')
0 files changed, 0 insertions, 0 deletions