~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar
2014-05-29	Use LLVM DEBUG macro instead of #if 0 or #if DEBUG	Martin Nowack
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2013-01-02	Patch by Tomasz Kuchta adding more detailed information on query failures.	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...	Cristian Cadar
2011-05-18	Maintain an equivalence set during comparison operations	Peter Collingbourne
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-14	Add ConstantExpr::{getLimitedValue,getZExtValue}.	Daniel Dunbar
2009-06-09	Add initial support for constant Arrays.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-09	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-04	Finish removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Move isConstant from ref<> to Expr::	Daniel Dunbar
2009-06-03	Kill off specialized ref<> forwarding methods, in the interest of making it a	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar