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

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