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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix crash when using json compiler with exponentiation.	chriseth	2016-08-20	1	-2/+7
\|
*	Handle external effects.	chriseth	2016-07-13	2	-48/+169
\|
*	Simplify interface of RationalNumber.	chriseth	2016-05-11	1	-2/+2
\|
*	changed names for Rational Constants and categories	VoR0220	2016-05-10	1	-4/+4
\|
*	initial work for fixed types...potentially needing a constant literal type ↵	RJ Catalano	2016-05-10	1	-2/+10
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	for this notation Rational implemented...trying to figure out exponential fix for token bug, also quick fix for the wei and seconds fixed problem with var...probably a conversion problem for fixed in size capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together size capabilities functioning properly for fixed types got exponents up and working with their inverse, changed a few of the tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing initial work for fixed types...potentially needing a constant literal type for this
*	Fixed Windows warnings	Bob Summerwill	2016-03-18	1	-1/+1
\|
*	- inline and assembly keywords added	LianaHus	2016-03-12	1	-1/+1
\| \| \| \|	- some style fixes
*	Do not store elements of a contract by AST node type.	chriseth	2015-11-26	2	-11/+6
\|
*	Fix MSVC errors and warnings.	chriseth	2015-11-26	1	-1/+1
\|
*	Style.	chriseth	2015-11-25	1	-1/+2
\|
*	Again some why3 fixes with regards to separators in blocks.	chriseth	2015-11-25	2	-26/+34
\|
*	Style.	chriseth	2015-11-23	1	-2/+5
\|
*	addmod and mulmod for why3.	chriseth	2015-11-23	1	-17/+36
\|
*	Why3: Direct references to variables using `#`.	chriseth	2015-11-23	2	-1/+75
\|
*	Formal Verification: State variables.	chriseth	2015-11-19	2	-20/+70
\|
*	Fix problems with statement blocks.	chriseth	2015-11-11	2	-21/+46
\|
*	Rename error type.	chriseth	2015-10-28	1	-1/+1
\|
*	Preliminary why3 code output.	chriseth	2015-10-27	2	-0/+640