~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2024-01-12	Renamed PTree to ExecutionTree (and similar)	Cristian Cadar

2024-01-12	new: persistent ptree (-write-ptree) and klee-ptree	Frank Busse
	Introduce three different kinds of process trees: 1. Noop: does nothing (e.g. no allocations for DFS) 2. InMemory: same behaviour as before (e.g. RandomPathSearcher) 3. Persistent: similar to InMemory but writes nodes to ptree.db and tracks information such as branch type, termination type or source location (asm) in nodes. Enabled with -write-ptree ptree.db files can be analysed/plotted with the new "klee-ptree" tool.
2023-07-21	Move some options to the klee namespace and declare them in OptionCategories.h	Cristian Cadar

2022-03-17	remove obsolete KLEE_LLVM legacy defines	Julian Büning

2020-10-12	MergingSearcher: remove random-path incompatibility	Frank Busse

2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
	* move global theRNG into Executor * pass theRNG via ctor to searchers * remove some type warnings from RNG.cpp Fixes #1023.
2020-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus

2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
	tly in lib/Core
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-12-12	[Searchers] Remove weight from es, add nurs_depth	Timotej Kapus
	Having both weight and depth in execution state is wasteful, therefore this patch removes weight. The nurs:depth searcher is replaced by nurs:rp, which uses pow to compute the weight A new nurs:depth searcher is introduced that biases the search with depth, making it the only other searcher that prefers to go deep (similar to dfs).
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
	Co-authored-by: Felix Rath <felix.rath@comsys.rwth-aachen.de>
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
	them to 0
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" ↵	Cristian Cadar
	and "default=off" in --help
2019-03-13	Created new search option category and moved there the options in ↵	Cristian Cadar
	UserSearcher.cpp
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.
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