about summary refs log tree commit diff homepage
path: root/lib/Core/Searcher.h
AgeCommit message (Expand)Author
2023-06-05make BatchingSearcher more readableJulian Büning
2020-10-12searchers: move implementations from .h to .cppFrank Busse
2020-10-12Searcher: remove addState/removeState functionsFrank Busse
2020-10-12searchers: clean up, add documentationFrank Busse
2020-08-19DiscretePDF: use IDs instead of pointers (see PR #739)Frank Busse
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-06-29Enable subsets for RandomPathSearcherTimotej Kapus
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-12-12[Searchers] Remove weight from es, add nurs_depthTimotej Kapus
2019-11-28Move merging related code from Executor into MergingSearcherLukas Wölfer
2019-06-04make endif guard naming consistentJulian Büning
2018-10-30Base time API upon std::chronoFrank Busse
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-08-04Removed merging searchersLukas Wölfer
2016-07-08Use vector instead of set to add/remove statesMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-24Removed ununsed Executor field in WeightedRandomSearcher to silenceDan Liew
2013-07-23BFS searcher.Lei Zhang
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
2010-07-15Remove stray semicolons in class definitions.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:28:10 +0000