Commit Graph

11 Commits

Author SHA1 Message Date
chriseth
b50362042e Known state: store tags on stack as unions. 2015-05-13 17:15:32 +02:00
chriseth
ca73a40170 Unify blocks with shared code. 2015-05-12 16:27:43 +02:00
chriseth
54bc7dda53 Compute state intersection. 2015-05-11 16:40:28 +02:00
chriseth
cc6647e671 Tests. 2015-05-11 12:56:40 +02:00
chriseth
a0cc8abb2a CFG returns vector of blocks instead of assembly items. 2015-05-06 12:55:18 +02:00
chriseth
3649c1fc60 Common subexpression elimination ready for using pre-known state. 2015-05-06 11:10:42 +02:00
chriseth
8416a6260f Split known state from common subexpression eliminator. 2015-05-06 11:09:55 +02:00
chriseth
3172dbf701 Move assembly related files to libevmasm and Params.h/.cpp to libevmcore. 2015-04-30 11:42:02 +02:00
chriseth
cfe24c3c2a Try to keep source location during optimization. 2015-04-27 10:08:55 +02:00
chriseth
02121683f5 Removed (and added) some #ifs (but removed more than I added). 2015-04-21 11:46:11 +02:00
CJentzsch
b2adcf3bf3 Restructure test folders 2015-04-20 22:48:53 +02:00