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

	Commit message (Expand)	Author	Age	Files	Lines
*	Removing extra default cases to force compile time error, instead of runtime.	Anurag Dashputre	2018-09-30	1	-2/+0
*	Remove repeated declarations in Z3 and CVC4 as well	Leonardo Alt	2018-08-01	1	-3/+6
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-6/+3
*	Setting timeout to Z3 and CVC4	Leonardo Alt	2018-07-27	1	-0/+3
*	Only ask for a model if it's SAT	Leonardo Alt	2018-07-27	1	-1/+1
*	[SMTChecker] Integration with CVC4	Leonardo Alt	2018-04-17	1	-16/+1
*	This z3 option is necessary for good solving performance	Leonardo Alt	2018-03-04	1	-0/+1
*	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
*	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	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