~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

2023-04-21	use unique_ptr in STPSolverImpl	Daniel Schemmel

2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse

2023-03-22	STP: add option to switch SAT solver: --stp-sat-solver and set default to ↵	Frank Busse
	CryptoMinisat
2020-04-30	Moved header files that were placed directly in include/klee/ into ↵	Cristian Cadar
	appropriate existing directories and a new directory Statistics; a few missing renames.
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-03-20	STPSolver: C++11, add missing free, refactoring	Frank Busse

2019-03-11	Replaced "default=off" with "default=false"	MartinNowack
	Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
2019-03-11	Added options in STPSolver.cpp to the constraint solving category	Cristian Cadar

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)
2017-06-02	hide backend solver declarations from public include	Hoang M. Le

2017-02-14	Added error message when STP fails to fork.	Cristian Cadar

2016-08-03	fprintf: convert to klee_warning	Jiri Slaby
	In some Solver sources, some error outputs were missing \n. Instead of adding a new line to all of them, convert the fprintf's to klee_warning which adds \n automatically. ErrorHandling.h had to be included in MetaSMTSolver.cpp to have klee_warning declared there. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
2016-07-29	Explicitely making division total in STP.	Cristian Cadar

2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
2016-01-12	[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their	Dan Liew
	own file ``STPSolver.cpp``. Whilst I'm here also clang-format the modified code.