~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	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)
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
	and introduce klee_open_compressed_output_file with similar behavior along some other minor improvements
2018-10-23	use klee_open_output_file for uncompressed logs	Julian Büning

2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
	Provide initial zlib-based compression support for raw_outstreams. Replacing llvm::raw_fd_outstreams with compressed_fd_outstreams automatically compresses data in gzip format before writing to file. Options added: * --compress-log to compress all query log files (e.g. .pc, .smt2) on the fly. Every query log file gets extended with .gz. * --debug-compress-instructions to compress logfile for instruction stream on the fly.
2016-03-23	Refactoring of conditional flush into own function.	Martin Nowack
	@delcypher: Thanks a lot Dan!
2016-03-23	Fix comment + Clang Formatting	Martin Nowack

2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
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().
2013-01-02	Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171392 91177308-0d34-0410-b5e6-96231b3b80d8