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

	Commit message (Expand)	Author	Age	Files	Lines
*	[SMTChecker] Add CheckResult::CONFLICTING	Leonardo Alt	2018-07-27	1	-1/+1
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-3/+9
*	Setting timeout to Z3 and CVC4	Leonardo Alt	2018-07-27	1	-1/+4
*	Add virtual destructors on base classes.	Alexander Arlt	2018-05-02	1	-0/+1
*	[SMTChecker] Integration with CVC4	Leonardo Alt	2018-04-17	1	-0/+20
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-6/+23
*	[SMTChecker] Support to Bool variables	Leonardo Alt	2018-03-13	1	-5/+10
*	[SMTChecker] Keep track of current path conditions	Leonardo Alt	2017-12-14	1	-0/+5
*	Unary operators and division.	chriseth	2017-11-30	1	-0/+4
*	Explain IntIntFun and merge assertion.	chriseth	2017-11-24	1	-3/+7
*	Introduce sorts for smt expressions.	chriseth	2017-11-22	1	-31/+35
*	Check for conditions being constant.	chriseth	2017-11-22	1	-0/+1
*	Remove parameter names for defaulted functions.	chriseth	2017-08-31	1	-4/+4
*	Review changes.	chriseth	2017-08-23	1	-1/+1
*	Partial support for if statements.	chriseth	2017-08-23	1	-0/+7
*	Refactor Z3 read callback.	chriseth	2017-08-23	1	-2/+5
*	Insert abstraction layer.	chriseth	2017-08-23	1	-0/+168