~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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