~cnx/klee - KLEE fork for patch differentiation testing

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