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

	Commit message (Expand)	Author	Age	Files	Lines
*	Display better error message in SMTLib2	Leonardo Alt	2018-11-23	1	-2/+2
*	Inject SMTLIB2 queries and responses via standard-json-io.	chriseth	2018-11-23	1	-2/+8
*	[SMTChecker] Add FunctionSort and refactors the solver interface to create va...	Leonardo Alt	2018-11-22	1	-5/+5
*	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	-2/+2
*	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	Leonardo Alt	2018-11-15	1	-1/+2
*	[SMTLib2] Fix repeated declarations	Leonardo Alt	2018-07-28	1	-0/+3
*	[SMTChecker] SMTPortfolio: use all SMT solvers available	Leonardo Alt	2018-07-27	1	-3/+3
*	Introduce sorts for smt expressions.	chriseth	2017-11-22	1	-8/+0
*	SMT enforce variable types	Alex Beregszaszi	2017-10-05	1	-0/+8
*	Mark constructors explicit	Alex Beregszaszi	2017-09-20	1	-1/+1
*	Refactor Z3 read callback.	chriseth	2017-08-23	1	-2/+4
*	Rename read file callback.	chriseth	2017-08-23	1	-1/+1
*	Insert abstraction layer.	chriseth	2017-08-23	1	-115/+12
*	Cleanup.	chriseth	2017-08-23	1	-13/+16
*	Use file to communicate with z3.	chriseth	2017-08-23	1	-6/+29
*	Rewrite using SMTLIB2 interface.	chriseth	2017-08-23	1	-0/+150