~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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 ↵	Andrea Mattavelli
	on default searchers
2017-08-04	Removed merging searchers	Lukas Wölfer

2017-06-12	llvm: don't use clEnumValEnd for LLVM 4.0	Jiri Slaby
	It became unnecessary when defining options and mainly undefined. So introduce KLEE_LLVM_CL_VAL_END as suggested by @delcypher. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
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 ↵	Hoang M. Le
	currently cannot be used with random-path
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in ↵	Martin Nowack
	Support directory
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
2014-04-24	Removed ununsed Executor field in WeightedRandomSearcher to silence	Dan Liew
	clang warning.
2013-07-23	BFS searcher.	Lei Zhang

2012-09-12	Restructured the command-line options for setting the search	Cristian Cadar
	heuristics in KLEE. The new options are documented at http://klee.llvm.org/klee-options.html. Cleaned a bit the code in UserSearcher.cpp, and fixed some test cases to use the new options. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163711 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8