aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Compute state intersection.chriseth2015-05-111-12/+35
|
* Store alternative stack locations during code generation.chriseth2015-05-112-43/+45
|
* Reuse state during common subexpression elimination.chriseth2015-05-114-73/+94
|
* Merge pull request #1813 from chriseth/sol_knowledgeEnginechriseth2015-05-0911-347/+742
|\ | | | | Static Analysis Engine.
| * Use range-based erase.chriseth2015-05-091-2/+4
| |
| * CFG returns vector of blocks instead of assembly items.chriseth2015-05-063-22/+25
| |
| * Remove unused old optimizer rule.chriseth2015-05-061-3/+0
| |
| * Gather knowledge about the state during control flow analysis.chriseth2015-05-067-35/+192
| |
| * Make KnownState work with all instructions.chriseth2015-05-064-6/+83
| |
| * Common subexpression elimination ready for using pre-known state.chriseth2015-05-065-23/+14
| |
| * More flexible way to approach unknown stack elements.chriseth2015-05-063-12/+34
| |
| * Split known state from common subexpression eliminator.chriseth2015-05-065-305/+451
| |
* | Structural gas estimator.chriseth2015-05-062-0/+171
|/
* Move assembly related files to libevmasm and Params.h/.cpp to libevmcore.chriseth2015-04-3015-0/+3077