~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2015-04-25	Rename macro	Dan Liew
2015-04-25	Change install location of KLEE's bytecode runtime libraries	Dan Liew
2015-04-25	Clean up the installation/building of the runtime libraries.	Dan Liew
2015-04-09	Try to fix using the compiler KLEE's configure script detected again!	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	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
2013-12-21	klee-uclibc detection is now a lot cleaner. KLEE now assumes	Dan Liew
2013-12-21	The location of KLEE's runtime libraries (apart from klee-uclibc)	Dan Liew
2013-12-21	Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"	Dan Liew
2013-10-11	MetaSMT builder, solver and command-line options.	Hristina Palikareva
2013-08-28	Modified the buildmode of bitcode libraries.	Dan Liew
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-01-25	Patch from Ben Gras which "makes Klee look for the libraries in the	Cristian Cadar
2011-05-18	Use local Makefile.rules	Peter Collingbourne
2010-10-25	Compile all C files in gnu89 mode. Needed to build runtime library	Peter Collingbourne
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-05	Fix some final objdir != src problems.	Daniel Dunbar
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-05-22	Look for Makefile.rules in the right directory.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar