Commit Graph
40 Commits
Author SHA1 Message Date
chriseth 0f06fd8c2f Fixed counter modification when appending assemblies. 2015-06-25 18:41:46 +02:00
chriseth 66a85f0229 Some documentation and checks for vector_ref. 2015-06-16 16:09:20 +02:00
chriseth 64a1e82b6c Optimize RETURN x 0 to STOP. 2015-06-12 11:31:03 +02:00
chriseth a72e357c4e Improved exception safety in CSE.
Fixes #2135
2015-06-10 09:58:59 +02:00
chriseth 27ac4d6d6f Merge pull request #2100 from chriseth/sol_stackTooDeep
Improved "Stack too deep" error message.
2015-06-08 11:52:01 +02:00
chriseth 13a20d8372 Improved "Stack too deep" error message.
Closes #2080.
2015-06-07 12:51:15 +02:00
chriseth 55e1729852 Quick fix to not access inaccessible sequences. 2015-06-06 15:39:14 +02:00
chriseth 7bdd1b1d4a Optimize double ISZERO. 2015-06-06 12:42:36 +02:00
chriseth cad767de61 Remove namespace prefixes. 2015-06-05 17:35:51 +02:00
chriseth 81ed5612bc MSVC fix. 2015-06-05 17:34:26 +02:00
chriseth 88096c2c69 Compute constants 2015-06-05 17:34:26 +02:00
chriseth d309c3c768 Merge pull request #1975 from LianaHus/sol_EVMExceptions
"error jump" instead of STOP instraction in case of exception
2015-06-01 17:45:55 +02:00
chriseth beab869e14 Allow duplicate code removal for loops. 2015-05-28 14:48:07 +02:00
chriseth 7f55e26eb8 Removed redundant std. 2015-05-26 11:31:04 +02:00
chriseth 06890e5428 Commandline interface for gas estimation. 2015-05-22 16:12:40 +02:00
chriseth dadde12178 Tighter estimation for EXP. 2015-05-22 16:12:40 +02:00
chriseth 2414a23168 Functional gas estimator. 2015-05-22 16:12:40 +02:00
chriseth cd28fb8faa Path gas meter. 2015-05-22 16:12:40 +02:00
chriseth d015945a1d Gas estimation taking known state into account. 2015-05-20 00:28:15 +02:00
chriseth e50070035f Hex/decimal cleanup for assembly output. 2015-05-15 15:37:19 +02:00
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 79f8a224ef Removed unnecessary include. 2015-05-12 17:00:23 +02:00
chriseth ced4720faa Unify blocks with shared code. 2015-05-12 16:27:43 +02:00
chriseth 60d69c78f5 Fixed template problem. 2015-05-12 11:25:34 +02:00
chriseth aafa354a95 Use returning erase variant. 2015-05-11 19:44:45 +02:00
chriseth 2870281fe8 Compute state intersection. 2015-05-11 16:40:28 +02:00
chriseth 2fbcb5b9c8 Store alternative stack locations during code generation. 2015-05-11 12:56:40 +02:00
chriseth 9d3f0de31b Reuse state during common subexpression elimination. 2015-05-11 12:56:40 +02:00
chriseth 6cc71a188f Merge pull request #1813 from chriseth/sol_knowledgeEngine
Static Analysis Engine.
2015-05-08 18:58:42 +02:00
chriseth 1dfcb47350 Use range-based erase. 2015-05-08 18:07:56 +02:00
chriseth bebe76828a CFG returns vector of blocks instead of assembly items. 2015-05-06 12:55:18 +02:00
chriseth 85673ff00c Remove unused old optimizer rule. 2015-05-06 12:53:33 +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
chriseth 4d62c463d1 Structural gas estimator. 2015-05-06 10:43:59 +02:00
chriseth b9d7387e7a Move assembly related files to libevmasm and Params.h/.cpp to libevmcore. 2015-04-30 11:42:02 +02:00