~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-01-30	Refactored some code related to seeding.	Cristian Cadar
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
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-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2009-06-14	More ConstantExpr tweaks.	Daniel Dunbar
2009-06-09	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-05	Clean up a number of unused variable warnings when building w/o	Daniel Dunbar
2009-06-04	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
2009-06-04	Start 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-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar