~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-09-03	Moved ConstructSolverChain.cpp to the Solver library.	Cristian Cadar

2019-03-17	Renamed --use-cache to --use-branch-cache	Cristian Cadar

2019-03-13	Added missing description for some options in CmdLineOptions.cpp (and some ↵	Cristian Cadar
	reformatting).
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-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ↵	Cristian Cadar
	to have only solver options.
2017-07-26	Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list	Cristian Cadar

2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
	assignments against the corresponding `Query` object and check the assignment evaluates correctly. This can be switched on using `-debug-assignment-validating-solver` on the command line.
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi

2016-09-26	Modified logging information to steer the usage of klee_message, ↵	Andrea Mattavelli
	klee_warning, and klee_error
2016-09-15	Add ``-debug-cross-check-core-solver`` option to allow cross-checking	Dan Liew
	with another solver. For example the core solver can be STP and the cross checking solver can be Z3. Unfortunately a few fragile tests don't pass when actually using this option.
2016-09-15	Clang-format ``ConstructSolverChain.cpp``	Dan Liew

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	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-04-03	Code reformatting.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11	Forgot to add ConstructSolverChain.cpp in the previous patch.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176813 91177308-0d34-0410-b5e6-96231b3b80d8