| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Known state: store tags on stack as unions. | chriseth | 2015-05-13 | 1 | -26/+66 |
| * | Fixed template problem. | chriseth | 2015-05-12 | 1 | -1/+6 |
| * | Compute state intersection. | chriseth | 2015-05-11 | 1 | -12/+35 |
| * | Use range-based erase. | chriseth | 2015-05-09 | 1 | -2/+4 |
| * | Gather knowledge about the state during control flow analysis. | chriseth | 2015-05-06 | 1 | -18/+57 |
| * | Make KnownState work with all instructions. | chriseth | 2015-05-06 | 1 | -0/+7 |
| * | Common subexpression elimination ready for using pre-known state. | chriseth | 2015-05-06 | 1 | -5/+5 |
| * | More flexible way to approach unknown stack elements. | chriseth | 2015-05-06 | 1 | -1/+1 |
| * | Split known state from common subexpression eliminator. | chriseth | 2015-05-06 | 1 | -0/+278 |
 |
index : dexon-solidity | |
| DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity) |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/KnownState.cpp