~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-01	remove include/klee/Support/IntEvaluation.h	Daniel Schemmel
2022-06-15	Spelling Fixes	m-davis
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
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
2017-10-03	Silenced some warnings about unused variables when assertions are disabled.	Cristian Cadar
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
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-06-14	Rewrite ImpliedValue to use ConstantExpr operations.	Daniel Dunbar
2009-06-04	Sink getConstantValue into ConstantExpr.	Daniel Dunbar
2009-06-04	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
2009-06-04	Finish removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Start removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Use cast<> instead of static_ref_cast.	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-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar