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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Testing with smtlib2 interface always there	Leonardo Alt	2018-11-23	1	-6/+1
\|
*	Error message stays in the SMTChecker	Leonardo Alt	2018-11-23	1	-8/+0
\|
*	Display better error message in SMTLib2	Leonardo Alt	2018-11-23	1	-2/+4
\|
*	Rename function and warn if responses are supplied for Z3.	chriseth	2018-11-23	1	-1/+7
\|
*	Inject SMTLIB2 queries and responses via standard-json-io.	chriseth	2018-11-23	1	-3/+3
\|
*	[SMTChecker] Add FunctionSort and refactors the solver interface to create ↵	Leonardo Alt	2018-11-22	1	-14/+2
\| \| \| \|	variables
*	[SMTChecker] Refactor smt::Sort and its usage	Leonardo Alt	2018-11-21	1	-1/+1
\|
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-1/+1
\|
*	Import dev::solidity namespace in SMTPortfolio	Alex Beregszaszi	2018-07-28	1	-0/+1
\|
*	[SMTChecker] Add CheckResult::CONFLICTING	Leonardo Alt	2018-07-27	1	-3/+4
\|
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-0/+150