~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
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-05-30	Fix ExprTest under LLVM 2.9	Martin Nowack

2013-03-11	Small patch by Dan Liew removing unnecessary line from a Makefile.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176816 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
2012-04-07	Fix unittests build when using external STP.	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154236 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-29	Fixed compilation of unit tests.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102611 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