aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicVariable.h
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-01-16 17:31:13 +0800
committerAlex Beregszaszi <alex@rtfs.hu>2018-03-06 22:32:45 +0800
commit3057aeece495276265d9632b97e3faffcb57fe71 (patch)
tree358d2a8e5a35d87e834044f686a8943f74c40dc1 /libsolidity/formal/SymbolicVariable.h
parenta3593df43b8d5639dd756d238cc744b1204cc3e8 (diff)
downloaddexon-solidity-3057aeece495276265d9632b97e3faffcb57fe71.tar.gz
dexon-solidity-3057aeece495276265d9632b97e3faffcb57fe71.tar.zst
dexon-solidity-3057aeece495276265d9632b97e3faffcb57fe71.zip
Document STATICCALL usage in experimental 0.5.0.
Diffstat (limited to 'libsolidity/formal/SymbolicVariable.h')
0 files changed, 0 insertions, 0 deletions