~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
2016-02-27	Add support for tcmalloc	Martin Nowack
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
2016-01-14	Fix linking with stp via MetaSMT when not building with direct STP	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2014-11-01	Upstream libstp is no longer dependent on Boost so remove the	Dan Liew
2014-04-23	Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefin...	Hristina Palikareva
2014-01-25	Upstream STP's libstp now depends on boost. This commit updates	Dan Liew
2013-10-21	Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...	Hristina Palikareva
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
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
2009-06-05	Add evaluation support to kleaver (now the default).	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar