~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-06-15	Spelling Fixes	m-davis
2020-11-12	Ref: implement operator bool()	Julian Büning
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-07-23	Refactor ConstraintManager to more modern coding standards	Daniel Schemmel
2018-10-30	Base time API upon std::chrono	Frank Busse
2016-03-22	Properly assert that an assignment computed in	Dan Liew
2016-03-22	Try to fix #348	Dan Liew
2015-12-23	Fix memory leak detected by ASan when	Dan Liew
2015-12-23	[NFC]	Dan Liew
2015-09-05	Allow to generate initial values with empty constraint set	Martin Nowack
2015-04-01	Added the function IndependentSolver::createdPointEvaluatesToTrue	Eric Rizzi
2015-04-01	Commit of improved IndependentSolver::getIniitalValues().	Eric Rizzi
2015-04-01	Added the ability to solve for all factors in a particular query.	Eric Rizzi
2015-03-10	Altered DenseSet and IndependentElementSet to record ref<Expr> involved	Eric Rizzi
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