~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2014-11-01	Upstream libstp is no longer dependent on Boost so remove the	Dan Liew
2014-05-30	Fix ExprTest under LLVM 2.9	Martin Nowack
2014-02-12	Fixed compilation of unittests with upstream STP (Boost dependency).	Dan Liew
2013-12-21	Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450	Dan Liew
2013-12-20	Fix compilation of unittests under Clang.	Dan Liew
2013-08-21	Remove unnecessary loop from SolverTest unit test.	Dan Liew
2013-07-23	BFS searcher.	Lei Zhang
2013-03-11	Small patch by Dan Liew removing unnecessary line from a Makefile.	Cristian Cadar
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-04-07	Patch by Seungbeom that fixes a memory management issue with Refs, and	Cristian Cadar
2012-04-07	Fix unittests build when using external STP.	Peter Collingbourne
2010-04-29	Fixed compilation of unit tests.	Cristian Cadar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-09	Remove Array::object.	Daniel Dunbar
2009-06-09	Remove Array::id.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-04	Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr>	Daniel Dunbar
2009-06-04	Use dyn_cast<> instead of dyn_ref_cast.	Daniel Dunbar
2009-06-03	Kill off specialized ref<> forwarding methods, in the interest of making it a	Daniel Dunbar
2009-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar