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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix licensing headers	VoR0220	2016-11-23	1	-4/+4
\| \| \| \|	Signed-off-by: VoR0220 <rj@erisindustries.com>
*	formal: ignore pragmas during Why3 code generation	Yoichi Hirai	2016-10-11	1	-0/+1
\| \| \| \|	Fixes #1177
*	toFormalType reports errors by an exception	Yoichi Hirai	2016-09-10	1	-2/+3
\| \| \| \|	This allows error reporting without passing `ASTNode` to `toFormalType()`
*	Merge pull request #1041 from pirapira/typo_and_whitespace	chriseth	2016-09-08	1	-1/+1
\|\ \| \| \| \|	Fix a typo and a whitespace inconsistency
\| *	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
\| \| \| \|	- some style fixes
*	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