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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Unary operators and division.	chriseth	2017-11-30	1	-1/+4
\|
*	Fix boolean constants.	chriseth	2017-11-22	1	-2/+7
\|
*	Check for conditions being constant.	chriseth	2017-11-22	1	-1/+1
\|
*	Remove unused variable in Z3	Alex Beregszaszi	2017-10-19	1	-1/+1
\|
*	Catch exception in Z3.	chriseth	2017-10-18	1	-18/+27
\| \| \| \| \|	Note: This exception might not be the result of resource limitation, it might also hint towards usage error.
*	Remove duplicate >= in Z3	Alex Beregszaszi	2017-10-18	1	-2/+1
\|
*	Merge pull request #3022 from ethereum/assert	Alex Beregszaszi	2017-10-04	1	-1/+1
\|\ \| \| \| \|	Use solAssert and not assert
\| *	Use solAssert and not assert	Alex Beregszaszi	2017-10-04	1	-1/+1
\| \|
* \|	Remove leftover couts.	chriseth	2017-09-29	1	-7/+0
\|/
*	Review changes.	chriseth	2017-08-23	1	-3/+3
\|
*	Partial support for if statements.	chriseth	2017-08-23	1	-1/+11
\|
*	Introduce native Z3 support.	chriseth	2017-08-23	1	-0/+179