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

	Commit message (Expand)	Author	Age	Files	Lines
*	Integer min and max values placed under SymbolicIntVar instead of SMTChecker	Leonardo Alt	2018-03-01	1	-3/+0
*	[SMTChecker] A little refactoring on SSA vars	Leonardo Alt	2018-03-01	1	-8/+4
*	[SMTChecker] Variables are merged after branches (ite variables)	Leonardo Alt	2018-01-05	1	-6/+12
*	[SMTChecker] Fix typo in the code (satisifable->satisfiable)	Leonardo Alt	2017-12-19	1	-2/+2
*	[SMTChecker] Helper functions to add an expression to the solver conjoined wi...	Leonardo Alt	2017-12-14	1	-0/+4
*	[SMTChecker] Keep track of current path conditions	Leonardo Alt	2017-12-14	1	-0/+9
*	Fix signed division.	chriseth	2017-11-30	1	-0/+4
*	Unary operators and division.	chriseth	2017-11-30	1	-3/+11
*	Fix problem with non-value-typed variables.	chriseth	2017-11-22	1	-1/+3
*	For loop.	chriseth	2017-11-22	1	-0/+1
*	Check for conditions being constant.	chriseth	2017-11-22	1	-0/+13
*	Track usage of variables.	chriseth	2017-11-22	1	-8/+17
*	Handle branches.	chriseth	2017-11-22	1	-0/+10
*	Rename variables in SMT checker.	chriseth	2017-10-18	1	-2/+2
*	Review changes.	chriseth	2017-08-23	1	-6/+6
*	Partial support for if statements.	chriseth	2017-08-23	1	-0/+16
*	Rename read file callback.	chriseth	2017-08-23	1	-1/+1
*	Insert abstraction layer.	chriseth	2017-08-23	1	-2/+2
*	Cleanup.	chriseth	2017-08-23	1	-6/+59
*	z3 conditions	chriseth	2017-08-23	1	-0/+45