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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[SMTChecker] Add ArraySort and array operations	Leonardo Alt	2018-11-22	1	-0/+9
\|
*	[SMTChecker] Add FunctionSort and refactors the solver interface to create ↵	Leonardo Alt	2018-11-22	1	-12/+12
\| \| \| \|	variables
*	Isolating files shared between Yul- and Solidity language frontend.	Christian Parpart	2018-11-22	1	-1/+1
\|
*	[SMTChecker] Refactor smt::Sort and its usage	Leonardo Alt	2018-11-21	1	-7/+7
\|
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-1/+9
\|
*	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
\| \| \| \| \|	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