about summary refs log tree commit diff homepage
path: root/lib/Core/Searcher.cpp
AgeCommit message (Expand)Author
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