~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
2016-06-10	rename the configure option --with-metasmt-default-solver to --with-metasmt-d...	Hoang M. Le
2016-06-10	add --with-metasmt-default-solver option to configure	Hoang M. Le
2016-02-27	Add support for tcmalloc	Martin Nowack
2016-02-10	Teach the configure script to configure the build to use the Z3 SMT	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
2015-04-25	Remove some dead makefile variables left over from the old testing	Dan Liew
2015-04-25	Remove dead STP logging code.	Dan Liew
2015-04-09	Try to fix using the compiler KLEE's configure script detected again!	Dan Liew
2015-04-08	Fix very annoying issue where KLEE's configure would completly	Dan Liew
2014-11-01	Upstream libstp is no longer dependent on Boost so remove the	Dan Liew
2014-11-01	configure: allow stp being installed in /	Jiri Slaby
2014-09-14	Provide --enable-cxx11 configure option to enable building with C++11.	Dan Liew
2014-01-25	Upstream STP's libstp now depends on boost. This commit updates	Dan Liew
2013-12-21	klee-uclibc detection is now a lot cleaner. KLEE now assumes	Dan Liew
2013-12-19	Re-add support for running individual tests when built with LLVM3.3	Dan Liew
2013-11-08	Fix the detection of the LLVM bitcode compiler. This is now done at KLEE	Dan Liew
2013-10-11	Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3	Cristian Cadar
2013-10-03	Extending ./configure with support to use metaSMT.	Hristina Palikareva
2013-09-21	Merge pull request #17 from MartinNowack/LLVM33	Cristian Cadar
2013-08-28	Modified the buildmode of bitcode libraries.	Dan Liew
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-08-15	Add support for dejagnu as removed from LLVM 3.2	Martin Nowack
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-07-26	Patch by Dan Liew: "fixed mistake in autoconf substitution variable name."	Cristian Cadar
2011-05-18	Use local Makefile.rules	Peter Collingbourne
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2009-05-21	Initial KLEE checkin.	Daniel Dunbar