~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	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 re...	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
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
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi
2016-09-26	Modified logging information to steer the usage of klee_message, klee_warning...	Andrea Mattavelli
2016-09-15	Add ``-debug-cross-check-core-solver`` option to allow cross-checking	Dan Liew
2016-09-15	Clang-format ``ConstructSolverChain.cpp``	Dan Liew
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-08-06	TimingSolver and constructSolverChain() no longer coupled with pointers to ST...	Hristina Palikareva
2013-04-03	Code reformatting.	Cristian Cadar
2013-03-11	Forgot to add ConstructSolverChain.cpp in the previous patch.	Cristian Cadar