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	2	-8/+0
\|
*	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