~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-05	make BatchingSearcher more readable	Julian Büning
2023-06-05	fix BatchingSearcher's disabled time budget	Julian Büning
2023-04-06	Support disabling compiler warnings; Use with external headers	Martin Nowack
2020-10-12	searchers: more consistent formatting	Frank Busse
2020-10-12	DFS/BFS/RandomSearcher: replace loop with std::find	Frank Busse
2020-10-12	searchers: move implementations from .h to .cpp	Frank Busse
2020-10-12	Searcher: remove addState/removeState functions	Frank Busse
2020-10-12	searchers: clean up, add documentation	Frank Busse
2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
2020-08-19	DiscretePDF: use IDs instead of pointers (see PR #739)	Frank Busse
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
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
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
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
2019-11-28	Move merging related code from Executor into MergingSearcher	Lukas Wölfer
2019-09-20	refactor PTree: use unique_ptr	Frank Busse
2019-09-20	refactor PTree: remove split(), add attach() method	Frank Busse
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-16	Added support for disabling --batch-instructions and --batch-time by setting ...	Cristian Cadar
2019-03-12	time: add double type for span multiplications	Frank Busse
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-07-04	Fix compiler warnings if assertions are disabled	Martin Nowack
2018-05-15	Implemented incomplete merging	Lukas Wölfer
2017-11-30	Implemented bounded merging functionality	Lukas Wölfer
2017-10-15	Fixed assert in BFSSearcher that does not hold as part of interleaved searcher	Julian Büning
2017-10-03	Silenced some warnings about unused variables when assertions are disabled.	Cristian Cadar
2017-08-04	Removed merging searchers	Lukas Wölfer
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-05-24	Remove redundant KLEE prefix while logging	Jörg Thalheim
2016-11-19	Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into MartinNo...	Cristian Cadar
2016-11-09	Fix BFS searcher	Martin Nowack
2016-11-08	add nicer error messages for --use-merge and add explanation why it currently...	Hoang M. Le
2016-09-26	Modified logging information to steer the usage of klee_message, klee_warning...	Andrea Mattavelli
2016-07-08	Use vector instead of set to add/remove states	Martin Nowack
2016-07-08	IterativeDeepeningTimeSearcher: Fix using wrong iterator	Martin Nowack
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2014-09-14	[LLVM3.5] Update for move of CFG.h into IR.	Daniel Dunbar
2014-09-14	[LLVM3.5] Update for CallSite.h move into IR/.	Daniel Dunbar
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-08-27	Port to LLVM 3.3	Martin Nowack
2013-07-23	BFS searcher.	Lei Zhang
2010-07-15	Reduce variable shadowing.	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar