~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2024-01-30	Change `GetConstraintLog` to work with `std::string`s instead of `char*`s	Daniel Schemmel

2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel

2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
	Decouple ExecutionState from TimingSolver Instead of providing an execution state to the timing solver use a set of constraints and an additional object for metadata. Fixes: * correct accounting of metadata to a specific state * accounting of all solver invocations (e.g. solver-getRange was not accounted) * allows to invoke the solver without a state (avoids costly copying of states/constraints)
2020-07-01	Use `unique_ptr` for solver in timing solver	Martin Nowack

2020-07-01	Separate constraint set and constraint manager	Martin Nowack

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 ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-06-04	make endif guard naming consistent	Julian Büning

2018-10-30	Base time API upon std::chrono	Frank Busse
	This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time)
2013-08-06	TimingSolver and constructSolverChain() no longer coupled with pointers to ↵	Hristina Palikareva
	STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from ↵	Hristina Palikareva
	STPSolver to base Solver and SolverImpl classes, and consequently redefined in derived classes to call the corresponding methods down the solver chain. Method setTimeout() renamed to setCoreSolverTimeout().
2009-06-04	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72860 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-04	TimingSolver shouldn't need a vtable.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72833 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-28	Small changes to silence some gcc warnings.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72518 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8