~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2024-01-12	Rename files from 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.
2022-01-05	introduce BranchTypes	Frank Busse

2020-09-03	Guard process-tree compression with a command-line switch	Sebastian Poeplau

2020-09-03	Fix PTree::remove to clean the tree properly	Sebastian Poeplau
	The previous version left unnecessary intermediate nodes behind, sometimes leading to very long paths in the tree.
2020-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus

2020-06-29	[PTree] Replace left/right with PointerIntPair	Timotej Kapus

2020-06-29	Revert "refactor PTree: use unique_ptr"	Timotej Kapus
	This reverts commit 0aed7731210d0eb41c0ea767edb8067130cf6252.
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
	tly in lib/Core
2019-09-20	refactor PTree: use unique_ptr	Frank Busse

2019-09-20	refactor PTree: remove split(), add attach() method	Frank Busse

2019-07-30	Use #include "klee/..." (instead of #include <klee/...>) consistently.	Cristian Cadar

2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-05-31	PTree: fix dump() method	Frank Busse

2016-08-09	Fix to PTree pointer use-after-delete undefined behavior	Andrea Mattavelli

2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
	iostream injects static constructor function into every compilation unit. Remove this to avoid it.
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
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