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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Grouping of symbolic variables in the same file and support to FixedBytes	Leonardo Alt	2018-10-25	1	-52/+0
\|
*	[SMTChecker] Support msg., tx., block.*, gasleft and blockhash	Leonardo Alt	2018-10-19	1	-4/+4
\|
*	Refactor SymbolicAddressVariable and SymbolicVariable allocation	Leonardo Alt	2018-10-17	1	-29/+7
\|
*	Consistent renaming of 'counters' and 'sequence' to 'index'	Leonardo Alt	2018-10-17	1	-7/+7
\|
*	[SMTChecker] Refactoring types	Leonardo Alt	2018-10-17	1	-7/+7
\|
*	Refactor SSAVariable such that it only uses Type and not Declaration	Leonardo Alt	2018-10-15	1	-11/+19
\|
*	Split IntegerType into IntegerType and AddressType.	Daniel Kirchner	2018-09-05	1	-4/+10
\|
*	[SMTChecker] Removing usage of UFs to access SSA indices	Leonardo Alt	2018-04-05	1	-1/+5
\|
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-3/+3
\|
*	Fix PR comments	Leonardo Alt	2018-03-01	1	-3/+5
\|
*	Integer min and max values placed under SymbolicIntVar instead of SMTChecker	Leonardo Alt	2018-03-01	1	-2/+2
\|
*	[SMTChecker] A little refactoring on SSA vars	Leonardo Alt	2018-03-01	1	-0/+54