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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix crash when using json compiler with exponentiation.	chriseth	2016-08-20	1	-2/+7
*	Handle external effects.	chriseth	2016-07-13	1	-46/+154
*	Simplify interface of RationalNumber.	chriseth	2016-05-11	1	-2/+2
*	changed names for Rational Constants and categories	VoR0220	2016-05-10	1	-4/+4
*	initial work for fixed types...potentially needing a constant literal type fo...	RJ Catalano	2016-05-10	1	-2/+10
*	Fixed Windows warnings	Bob Summerwill	2016-03-18	1	-1/+1
*	Do not store elements of a contract by AST node type.	chriseth	2015-11-26	1	-10/+5
*	Style.	chriseth	2015-11-25	1	-1/+2
*	Again some why3 fixes with regards to separators in blocks.	chriseth	2015-11-25	1	-19/+24
*	Style.	chriseth	2015-11-23	1	-2/+5
*	addmod and mulmod for why3.	chriseth	2015-11-23	1	-17/+36
*	Why3: Direct references to variables using `#`.	chriseth	2015-11-23	1	-1/+68
*	Formal Verification: State variables.	chriseth	2015-11-19	1	-20/+64
*	Fix problems with statement blocks.	chriseth	2015-11-11	1	-18/+40
*	Rename error type.	chriseth	2015-10-28	1	-1/+1
*	Preliminary why3 code output.	chriseth	2015-10-27	1	-0/+525