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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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