~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
	fix travis build of upstream STP and also how KLEE links against STP.
2014-11-01	Upstream libstp is no longer dependent on Boost so remove the	Dan Liew
	configure/Makefile code that adds Boost as a depdendency because We don't need to support old versions of STP that needed Boost.
2014-04-23	Fixing linking order if metaSMT is used: linking rt after z3 to avoid ↵	Hristina Palikareva
	undefined symbols in the z3 library.
2014-01-25	Upstream STP's libstp now depends on boost. This commit updates	Dan Liew
	the configure script to detect this by first trying to link without boost and if that fails then trying to link libstp with boost. This also updates the relevant Makefiles so that the klee and kleaver executables link in STP's boost dependencies if necessary.
2013-10-21	Removed unnecessary/redundant linking of library boost_thread-mt to klee and ↵	Hristina Palikareva
	kleaver.
2013-10-11	MetaSMT builder, solver and command-line options.	Hristina Palikareva

2013-03-11	Patch by Dan Liew which unifies the solver construction between KLEE	Cristian Cadar
	and Kleaver and fixes --use-query-log in Kleaver. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176811 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the ↵	Cristian Cadar
	--with-stp option mandatory: "1. At configure time the --with-stp= option is now mandatory. 2. The HAVE_EXT_STP macro has been removed. 3. The ENABLE_EXT_STP autoconf replacement variable has been removed and consequently the Makefile variable of the same name has been removed." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161055 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
	This patch adds a new configure option, --with-stp, which configures KLEE to use an external version of STP instead of the version in the source tree. It includes documentation referring users to the STP download location. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108347 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100395 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-05	Add evaluation support to kleaver (now the default).	Daniel Dunbar
	- Currently only handles validity queries. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72933 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8