~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-09-29	When building KLEE with the sanitizers make sure the runtime is not	Dan Liew
2016-06-10	update Makefile for metaSMT	Hoang M. Le
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2015-12-02	Removing -fstack-protector-strong for clang <= 3.4	Mate Soos
2015-08-05	Enabling assertions by default for KLEE. While the instructions for 2.9 expl...	Cristian Cadar
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