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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[SMTChecker] Add ArraySort and array operations	Leonardo Alt	2018-11-22	1	-2/+49
\|
*	[SMTChecker] Add FunctionSort and refactors the solver interface to create ↵	Leonardo Alt	2018-11-22	1	-21/+29
\| \| \| \|	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	-60/+48
\|
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-13/+14
\|
*	Retained move/copy semantics; removed const qualifier from Expression's ↵	Bhargava Shastry	2018-10-17	1	-2/+4
\| \| \| \|	members name (of type std::string) and arguments (of type std::vector<Expression>)
*	Fix compiler warning: clang-8 warns of explicitly-defined op implicitly ↵	Bhargava Shastry	2018-10-17	1	-2/+0
\| \| \| \|	deleted for Expression object's copy and move constructors
*	[SMTChecker] Add CheckResult::CONFLICTING	Leonardo Alt	2018-07-27	1	-1/+1
\|
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-3/+9
\|
*	Setting timeout to Z3 and CVC4	Leonardo Alt	2018-07-27	1	-1/+4
\|
*	Add virtual destructors on base classes.	Alexander Arlt	2018-05-02	1	-0/+1
\|
*	[SMTChecker] Integration with CVC4	Leonardo Alt	2018-04-17	1	-0/+20
\|
*	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	Leonardo Alt	2018-03-13	1	-6/+23
\|
*	[SMTChecker] Support to Bool variables	Leonardo Alt	2018-03-13	1	-5/+10
\|
*	[SMTChecker] Keep track of current path conditions	Leonardo Alt	2017-12-14	1	-0/+5
\|
*	Unary operators and division.	chriseth	2017-11-30	1	-0/+4
\|
*	Explain IntIntFun and merge assertion.	chriseth	2017-11-24	1	-3/+7
\|
*	Introduce sorts for smt expressions.	chriseth	2017-11-22	1	-31/+35
\|
*	Check for conditions being constant.	chriseth	2017-11-22	1	-0/+1
\|
*	Remove parameter names for defaulted functions.	chriseth	2017-08-31	1	-4/+4
\|
*	Review changes.	chriseth	2017-08-23	1	-1/+1
\|
*	Partial support for if statements.	chriseth	2017-08-23	1	-0/+7
\|
*	Refactor Z3 read callback.	chriseth	2017-08-23	1	-2/+5
\|
*	Insert abstraction layer.	chriseth	2017-08-23	1	-0/+168