aboutsummaryrefslogtreecommitdiffstats
path: root/KnownState.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Increment sequence number for opcodes that can write to memory or storage.chriseth2016-03-111-2/+8
|
* Fix sequence number bug.chriseth2016-01-151-2/+4
| | | | | | | This bug resulted in incorrect storage access in some situations. The reason was that when intersecting states, the sequence numbers were not handled and thus some operations with too low sequence numbers were used during code generation.
* applied changes from https://github.com/ethereum/cpp-ethereum/pull/2953debris2015-09-081-8/+8
|
* Gas estimation taking known state into account.chriseth2015-05-201-2/+11
|
* Move non-cryptopp dependent stuff into devcore.Gav Wood2015-05-201-1/+1
|
* Fixed indentation.chriseth2015-05-141-1/+1
|
* Known state: store tags on stack as unions.chriseth2015-05-131-26/+66
|
* Fixed template problem.chriseth2015-05-121-1/+6
|
* Compute state intersection.chriseth2015-05-111-12/+35
|
* Use range-based erase.chriseth2015-05-091-2/+4
|
* Gather knowledge about the state during control flow analysis.chriseth2015-05-061-18/+57
|
* Make KnownState work with all instructions.chriseth2015-05-061-0/+7
|
* Common subexpression elimination ready for using pre-known state.chriseth2015-05-061-5/+5
|
* More flexible way to approach unknown stack elements.chriseth2015-05-061-1/+1
|
* Split known state from common subexpression eliminator.chriseth2015-05-061-0/+278