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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Refactor SymbolicAddressVariable and SymbolicVariable allocation	Leonardo Alt	2018-10-17	1	-3/+4
\|
*	Consistent renaming of 'counters' and 'sequence' to 'index'	Leonardo Alt	2018-10-17	1	-6/+6
\|
*	[SMTChecker] Refactoring types	Leonardo Alt	2018-10-17	1	-6/+18
\|
*	Refactor SSAVariable such that it only uses Type and not Declaration	Leonardo Alt	2018-10-15	1	-4/+6
\|
*	Add virtual destructors on base classes.	Alexander Arlt	2018-05-02	1	-0/+1
\|
*	[SMTChecker] Removing usage of UFs to access SSA indices	Leonardo Alt	2018-04-05	1	-6/+2
\|
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-2/+2
\|
*	Fix PR comments	Leonardo Alt	2018-03-01	1	-4/+0
\|
*	Fix PR comments	Leonardo Alt	2018-03-01	1	-4/+6
\|
*	Supported types listed in SSAVariable	Leonardo Alt	2018-03-01	1	-0/+3
\|
*	[SMTChecker] A little refactoring on SSA vars	Leonardo Alt	2018-03-01	1	-0/+68