~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-02-29	Correctly update symbolic variables that have been changed externally	Martin Nowack
2023-03-16	Integrate KDAlloc into KLEE	Daniel Schemmel
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-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-03	Marking resolve methods as const	Cristian Cadar
2018-10-03	Refactored AddressSpace::resolve() by creating a new function AddressSpace::c...	Cristian Cadar
2018-05-21	fix some casts for LLP64 compilers	Frank Busse
2018-05-05	Factor out method to update state memory with process state	Martin Nowack
2016-07-08	Add deterministic allocation of memory	Martin Nowack
2009-06-14	More ConstantExpr cleanup.	Daniel Dunbar
2009-06-14	Change AddressSpace::resolveOne to take a ConstantExpr directly (and to allow	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-05-21	Initial KLEE checkin.	Daniel Dunbar