dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

	Commit message (Collapse)	Author	Age	Files	Lines
*	Known state: store tags on stack as unions.	chriseth	2015-05-13	1	-26/+66
\|
*	Fixed template problem.	chriseth	2015-05-12	1	-1/+6
\|
*	Compute state intersection.	chriseth	2015-05-11	1	-12/+35
\|
*	Use range-based erase.	chriseth	2015-05-09	1	-2/+4
\|
*	Gather knowledge about the state during control flow analysis.	chriseth	2015-05-06	1	-18/+57
\|
*	Make KnownState work with all instructions.	chriseth	2015-05-06	1	-0/+7
\|
*	Common subexpression elimination ready for using pre-known state.	chriseth	2015-05-06	1	-5/+5
\|
*	More flexible way to approach unknown stack elements.	chriseth	2015-05-06	1	-1/+1
\|
*	Split known state from common subexpression eliminator.	chriseth	2015-05-06	1	-0/+278