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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix licensing headers	VoR0220	2016-11-23	1	-4/+4
*	formal: ignore pragmas during Why3 code generation	Yoichi Hirai	2016-10-11	1	-0/+1
*	toFormalType reports errors by an exception	Yoichi Hirai	2016-09-10	1	-2/+3
*	Merge pull request #1041 from pirapira/typo_and_whitespace	chriseth	2016-09-08	1	-1/+1
\|\
\| *	Fix a typo and whitespaces	Yoichi Hirai	2016-09-07	1	-1/+1
* \|	Append an issue id #1043 to a @todo comment about it	Yoichi Hirai	2016-09-07	1	-1/+1
\|/
*	Handle external effects.	chriseth	2016-07-13	1	-2/+15
*	- inline and assembly keywords added	LianaHus	2016-03-12	1	-1/+1
*	Do not store elements of a contract by AST node type.	chriseth	2015-11-26	1	-1/+1
*	Fix MSVC errors and warnings.	chriseth	2015-11-26	1	-1/+1
*	Again some why3 fixes with regards to separators in blocks.	chriseth	2015-11-25	1	-7/+10
*	Why3: Direct references to variables using `#`.	chriseth	2015-11-23	1	-0/+7
*	Formal Verification: State variables.	chriseth	2015-11-19	1	-0/+6
*	Fix problems with statement blocks.	chriseth	2015-11-11	1	-3/+6
*	Preliminary why3 code output.	chriseth	2015-10-27	1	-0/+115