cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
18,011 Commits 348 Branches 121 Tags
stackLimitEvaderRefactor3
Commit Graph
4 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Li Xuanji 26d36e1faa separate out a new "Design Criteria" section from "Formal Specification" 2018-10-04 13:00:33 +02:00
Li Xuanji 576964bd01 Mark --formal as deprecated in CLI options 2018-04-11 20:08:41 +01:00
Li Xuanji 0936a44bea Create .gitattributes 2018-02-20 18:41:02 -05:00
Li Xuanji d555c82db4 clarify address in function selector 
I found that the canonical form for `address` in computing the function selector calldata tag is `uint160`. Update the abi specs to explicitly mention this.
 2018-01-22 17:34:58 -05:00