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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-0/+40
\|
*	[SMTChecker] Support to Bool variables	Leonardo Alt	2018-03-13	1	-0/+98
\|
*	Adjust tests.	chriseth	2018-02-27	1	-2/+4
\|
*	Do not warn about analysis-only experimental features.	chriseth	2018-02-22	1	-6/+1
\|
*	Support searching inside multiple errors.	chriseth	2018-02-12	1	-3/+5
\|
*	[SMTChecker] Variables are merged after branches (ite variables)	Leonardo Alt	2018-01-05	1	-8/+39
\|
*	Move some struct tests to require ABIEncoderV2	Alex Beregszaszi	2017-12-11	1	-0/+1
\|
*	Fix test.	chriseth	2017-12-04	1	-4/+3
\|
*	Another test for division.	chriseth	2017-11-30	1	-0/+10
\|
*	Unary operators and division.	chriseth	2017-11-30	1	-0/+85
\|
*	For loop.	chriseth	2017-11-22	1	-0/+67
\|
*	Test for multi-branches.	chriseth	2017-11-22	1	-0/+18
\|
*	Fix boolean constants.	chriseth	2017-11-22	1	-12/+9
\|
*	Tests.	chriseth	2017-11-22	1	-0/+31
\|
*	Tests.	chriseth	2017-11-22	1	-0/+240
\|
*	SMT should not crash on typecast/structs	Alex Beregszaszi	2017-10-05	1	-0/+26
\|
*	Tests for SMT checker.	chriseth	2017-09-29	1	-0/+86