15 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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