~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-12-12	[Searchers] Remove weight from es, add nurs_depth	Timotej Kapus
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-03-16	Added support for disabling --batch-instructions and --batch-time by setting ...	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
2019-03-13	Created new search option category and moved there the options in UserSearche...	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
2018-05-15	Implemented incomplete merging	Lukas Wölfer
2017-11-30	Implemented bounded merging functionality	Lukas Wölfer
2017-10-09	Fixed initialization of distance to uncovered instructions when KLEE relies o...	Andrea Mattavelli
2017-08-04	Removed merging searchers	Lukas Wölfer
2017-06-12	llvm: don't use clEnumValEnd for LLVM 4.0	Jiri Slaby
2016-11-19	Documented the level at which BFS operates in KLEE, as part of --help	Cristian Cadar
2016-11-08	add nicer error messages for --use-merge and add explanation why it currently...	Hoang M. Le
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2014-04-24	Removed ununsed Executor field in WeightedRandomSearcher to silence	Dan Liew
2013-07-23	BFS searcher.	Lei Zhang
2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar