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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Do not store elements of a contract by AST node type.	chriseth	2015-11-26	2	-11/+6
\|
*	Fix MSVC errors and warnings.	chriseth	2015-11-26	1	-1/+1
\|
*	Style.	chriseth	2015-11-25	1	-1/+2
\|
*	Again some why3 fixes with regards to separators in blocks.	chriseth	2015-11-25	2	-26/+34
\|
*	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	2	-1/+75
\|
*	Formal Verification: State variables.	chriseth	2015-11-19	2	-20/+70
\|
*	Fix problems with statement blocks.	chriseth	2015-11-11	2	-21/+46
\|
*	Rename error type.	chriseth	2015-10-28	1	-1/+1
\|
*	Preliminary why3 code output.	chriseth	2015-10-27	2	-0/+640