about summary refs log tree commit diff homepage
path: root/lib/Core/Searcher.cpp
AgeCommit message (Expand)Author
2020-10-12searchers: more consistent formattingFrank Busse
2020-10-12DFS/BFS/RandomSearcher: replace loop with std::findFrank Busse
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-09-26Replace llvm::CallSite with llvm::CallBase on LLVM 8+Lukas Zaoral
2020-08-19DiscretePDF: use IDs instead of pointers (see PR #739)Frank Busse
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-07-01Use constraint sets and separate metadata for timing solver invocationMartin Nowack
2020-06-29Enable subsets for RandomPathSearcherTimotej Kapus
2020-06-29[PTree] Replace left/right with PointerIntPairTimotej Kapus
2020-06-29Revert "refactor PTree: use unique_ptr"Timotej Kapus
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
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-09-20refactor PTree: use unique_ptrFrank Busse
2019-09-20refactor PTree: remove split(), add attach() methodFrank Busse
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-16Added support for disabling --batch-instructions and --batch-time by setting ...Cristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
2018-10-30Base time API upon std::chronoFrank Busse
2018-07-04Fix compiler warnings if assertions are disabledMartin Nowack
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-15Fixed assert in BFSSearcher that does not hold as part of interleaved searcherJulian Büning
2017-10-03Silenced some warnings about unused variables when assertions are disabled.Cristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-05-24Remove redundant KLEE prefix while loggingJörg Thalheim
2016-11-19Merge branch 'fix_bfs2' of https://github.com/MartinNowack/klee into MartinNo...Cristian Cadar
2016-11-09Fix BFS searcherMartin Nowack
2016-11-08add nicer error messages for --use-merge and add explanation why it currently...Hoang M. Le
2016-09-26Modified logging information to steer the usage of klee_message, klee_warning...Andrea Mattavelli
2016-07-08Use vector instead of set to add/remove statesMartin Nowack
2016-07-08IterativeDeepeningTimeSearcher: Fix using wrong iteratorMartin Nowack
2015-12-17Refactoring: 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-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-24Removed ununsed Executor field in WeightedRandomSearcher to silenceDan Liew
2013-08-27Port to LLVM 3.3Martin Nowack
2013-07-23BFS searcher.Lei Zhang
2010-07-15Reduce variable shadowing.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-10 23:52:04 +0000