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

	Commit message (Collapse)	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 ↵	Leonardo Alt	2017-12-14	1	-0/+4
\| \| \| \|	with or implied by the current path conditions
*	[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