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

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