cerc-io/solidity
16
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
25 Commits 348 Branches 121 Tags 100 MiB
e50070035f
Commit Graph

10 Commits

Author SHA1 Message Date
chriseth
b124878c53 Fixed indentation. 2015-05-13 19:13:03 +02:00
chriseth
cebc959ff3 Known state: store tags on stack as unions. 2015-05-13 17:15:32 +02:00
chriseth
60d69c78f5 Fixed template problem. 2015-05-12 11:25:34 +02:00
chriseth
2870281fe8 Compute state intersection. 2015-05-11 16:40:28 +02:00
chriseth
1dfcb47350 Use range-based erase. 2015-05-08 18:07:56 +02:00
chriseth
9d7eb49f35 Gather knowledge about the state during control flow analysis. 2015-05-06 12:53:17 +02:00
chriseth
a2e3bcbd0c Make KnownState work with all instructions. 2015-05-06 11:11:16 +02:00
chriseth
867101e409 Common subexpression elimination ready for using pre-known state. 2015-05-06 11:10:42 +02:00
chriseth
3ebb7d99c4 More flexible way to approach unknown stack elements. 2015-05-06 11:10:03 +02:00
chriseth
9106d72a02 Split known state from common subexpression eliminator. 2015-05-06 11:09:55 +02:00