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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[SMTLib2] Fix repeated declarations	Leonardo Alt	2018-07-28	1	-11/+26
\|
*	Fix unterminated parentheses typo in SMTLib2	Alex Beregszaszi	2018-07-28	1	-1/+1
\| \| \| \|	Found by @leonardoalt
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-6/+3
\|
*	Only ask for a model if it's SAT	Leonardo Alt	2018-07-27	1	-1/+1
\|
*	Introduce sorts for smt expressions.	chriseth	2017-11-22	1	-9/+2
\|
*	SMT enforce variable types	Alex Beregszaszi	2017-10-05	1	-1/+8
\|
*	Review changes.	chriseth	2017-08-23	1	-3/+3
\|
*	Refactor Z3 read callback.	chriseth	2017-08-23	1	-1/+13
\|
*	Rename read file callback.	chriseth	2017-08-23	1	-2/+4
\|
*	Insert abstraction layer.	chriseth	2017-08-23	1	-5/+16
\|
*	Cleanup.	chriseth	2017-08-23	1	-126/+42
\|
*	Use file to communicate with z3.	chriseth	2017-08-23	1	-0/+222
\|
*	Rewrite using SMTLIB2 interface.	chriseth	2017-08-23	1	-0/+24