about summary refs log tree commit diff homepage
path: root/lib/Core/UserSearcher.cpp
AgeCommit message (Expand)Author
2023-07-21Move some options to the klee namespace and declare them in OptionCategories.hCristian Cadar
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2020-10-12MergingSearcher: remove random-path incompatibilityFrank Busse
2020-07-30introduce --rng-initial-seed=<unsigned>Frank Busse
2020-06-29Enable subsets for RandomPathSearcherTimotej Kapus
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-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-03-16Added support for disabling --batch-instructions and --batch-time by setting ...Cristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-13Created new search option category and moved there the options in UserSearche...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-09Fixed initialization of distance to uncovered instructions when KLEE relies o...Andrea Mattavelli
2017-08-04Removed merging searchersLukas Wölfer
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2016-11-19Documented the level at which BFS operates in KLEE, as part of --helpCristian Cadar
2016-11-08add nicer error messages for --use-merge and add explanation why it currently...Hoang M. Le
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin 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
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 15:15:07 +0000