11 Commits

Author	SHA1	Message	Date
Gav Wood	3ecd54a835	Move non-cryptopp dependent stuff into devcore.	2015-05-19 19:51:38 +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	60d69c78f5	Fixed template problem.	2015-05-12 11:25:34 +02:00
chriseth	2870281fe8	Compute state intersection.	2015-05-11 16:40:28 +02:00
chriseth	1dfcb47350	Use range-based erase.	2015-05-08 18:07:56 +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