~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-02-27	Add support for tcmalloc	Martin Nowack
	Beside improving performance of KLEE, tcmalloc allows to track used memory correctly. If available, tcmalloc is automatically used during compile time. This can be forced to be: - disabled using --without-tcmalloc - enabled using --with-tcmalloc In the second case, configure will fail if tcmalloc is not found or usable. Both versions of tcmalloc a minimal and normal version.
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew

2016-01-14	Refactor the MetaSMT makefile commands into its own file which can	Dan Liew
	be included by tools that needs to link against MetaSMT. Apart from making the Makefile code cleaner this allowed the Solver unit test linking to succeed when not building with STP support. Unfortunately when using MetaSMT as the core solver the Solver unit tests do not pass. Clearly no one tried this before... :(
2016-01-14	Fix linking with stp via MetaSMT when not building with direct STP	Dan Liew
	support
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-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