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

	Commit message (Expand)	Author	Age	Files	Lines
*	[SMTChecker] Variables are merged after branches (ite variables)	Leonardo Alt	2018-01-05	1	-7/+25
*	[SMTChecker] Fix typo in the code (satisifable->satisfiable)	Leonardo Alt	2017-12-19	1	-6/+6
*	[SMTChecker] Helper functions to add an expression to the solver conjoined wi...	Leonardo Alt	2017-12-14	1	-5/+15
*	[SMTChecker] Keep track of current path conditions	Leonardo Alt	2017-12-14	1	-8/+27
*	Fix expression creation problems.	chriseth	2017-11-30	1	-19/+30
*	Fix signed division.	chriseth	2017-11-30	1	-2/+16
*	Unary operators and division.	chriseth	2017-11-30	1	-56/+135
*	Fix problem with non-value-typed variables.	chriseth	2017-11-22	1	-13/+13
*	For loop.	chriseth	2017-11-22	1	-0/+42
*	Check for conditions being constant.	chriseth	2017-11-22	1	-26/+87
*	Tests.	chriseth	2017-11-22	1	-5/+0
*	Track usage of variables.	chriseth	2017-11-22	1	-62/+68
*	Handle branches.	chriseth	2017-11-22	1	-54/+78
*	Rename variables in SMT checker.	chriseth	2017-10-18	1	-9/+9
*	SMT should not crash on typecast/structs	Alex Beregszaszi	2017-10-05	1	-0/+10
*	Review changes.	chriseth	2017-08-23	1	-11/+11
*	Use experimental feature pragma for SMT checker.	chriseth	2017-08-23	1	-6/+1
*	Partial support for if statements.	chriseth	2017-08-23	1	-15/+94
*	Format numbers more nicely.	chriseth	2017-08-23	1	-11/+25
*	Refactor Z3 read callback.	chriseth	2017-08-23	1	-3/+24
*	Insert abstraction layer.	chriseth	2017-08-23	1	-26/+27
*	Prepare build system for Z3.	chriseth	2017-08-23	1	-0/+3
*	Cleanup.	chriseth	2017-08-23	1	-4/+443
*	z3 conditions	chriseth	2017-08-23	1	-0/+36