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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Sort includes in libsolidity/formal	Leonardo Alt	2018-12-18	1	-1/+0
\|
*	[SMTChecker] Add ArraySort and array operations	Leonardo Alt	2018-11-22	1	-0/+9
\|
*	[SMTChecker] Add FunctionSort and refactors the solver interface to create ↵	Leonardo Alt	2018-11-22	1	-29/+17
\| \| \| \|	variables
*	Isolating files shared between Yul- and Solidity language frontend.	Christian Parpart	2018-11-22	1	-1/+1
\|
*	[SMTChecker] Refactor smt::Sort and its usage	Leonardo Alt	2018-11-21	1	-7/+7
\|
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-1/+9
\|
*	Remove repeated declarations in Z3 and CVC4 as well	Leonardo Alt	2018-08-01	1	-4/+9
\|
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-6/+3
\|
*	Setting timeout to Z3 and CVC4	Leonardo Alt	2018-07-27	1	-0/+1
\|
*	Only ask for a model if it's SAT	Leonardo Alt	2018-07-27	1	-1/+1
\|
*	More consistent catch statements	Alex Beregszaszi	2018-07-25	1	-1/+1
\| \| \| \|	Also take const& in all cases.
*	[SMTChecker] Integration with CVC4	Leonardo Alt	2018-04-17	1	-0/+200