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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[SMTChecker] Clear state knowledge after external function calls	Leonardo Alt	2019-01-21	4	-1/+64
\|
*	[SMTChecker] Support basic typecast	Leonardo Alt	2019-01-16	11	-3/+135
\|
*	Clear all mapping knowledge after array variable assignment	Leonardo Alt	2018-12-14	1	-1/+4
\|
*	[SMTChecker] Support to mapping	Leonardo Alt	2018-12-14	16	-0/+215
\|
*	[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions	Leonardo Alt	2018-12-11	4	-2/+19
\|
*	add a 'readable' format for large hex values	Kevin Kelley	2018-12-06	6	-10/+10
\|
*	[SMTChecker] Loops are unrolled once	Leonardo Alt	2018-12-04	17	-8/+177
\|
*	Organize smt tests in subdirectories	Leonardo Alt	2018-11-22	46	-0/+0
\|
*	Remove pragma ABIEncoderV2 from smt test	Leonardo Alt	2018-11-22	1	-6/+8
\|
*	Drop numbering in front of the SMTChecker tests	Alex Beregszaszi	2018-11-22	46	-0/+0
\|
*	Move most of SMTChecker tests from C++ to isoltest	Alex Beregszaszi	2018-11-22	46	-0/+489
\| \| \| \|	But keep divison in C++ because results differ between different solvers
*	[SMTChecker] Support bound function calls	Leonardo Alt	2018-11-19	4	-0/+78
\|
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-2/+6
\|
*	Grouping of symbolic variables in the same file and support to FixedBytes	Leonardo Alt	2018-10-25	3	-8/+16
\|
*	Add gasleft constraint and use full member access name	Leonardo Alt	2018-10-23	2	-0/+14
\|
*	[SMTChecker] Support msg., tx., block.*, gasleft and blockhash	Leonardo Alt	2018-10-19	8	-0/+114
\|
*	[SMTChecker] Inline calls to internal functions	Leonardo Alt	2018-10-15	19	-0/+250