about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-07-23Refactor ConstraintManager to more modern coding standardsDaniel Schemmel
2019-06-04fix some incorrect first linesJulian Büning
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04DiscretePdf.h: add include guardsJulian Büning
2019-06-04make include guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-06-04Remove parenthesis around returns, as reported and discussed in #891Cristian Cadar
2019-05-30ExecutionState: remove fnAliasesJulian Büning
2019-05-30remove klee_alias_function()Julian Büning
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use libutil...Gleb Popov
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-19Refactor InstructionInfoTableMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-17Renamed --use-cache to --use-branch-cacheCristian Cadar
2019-03-17run VerifierPass after optimization and instrumentationJulian Büning
2019-03-15Categorized the options in SpecialFunctionHandler.cppCristian Cadar
2019-03-15Placed --exit-on-error, --max-tests and --watchdog in the termination categoryCristian Cadar
2019-03-15Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place...Cristian Cadar
2019-03-15Created a new module-related option category and moved the options in KModule...Cristian Cadar
2019-03-13Added function to hide all options in a given category. Removed uneeded (and...Cristian Cadar
2019-03-13Documented options in ExprPPrinter.cpp and placed them into a new option cate...Cristian Cadar
2019-03-13Added missing description for some options in CmdLineOptions.cpp (and some re...Cristian Cadar
2019-03-13Added --debug-log-state-merge to path merging categoryCristian Cadar
2019-03-12time: add double type for span multiplicationsFrank Busse
2019-03-11Fixed wrong header include check and fully qualify llvm::cl::OptionCategory i...Cristian Cadar
2019-03-05workaround for LLVM PR39177Julian Büning
2018-11-02Introduced a constraint solving option category to which all the options in C...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-26llvm6: SetVersionPrinter now passes down a streamJiri Slaby
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
2018-10-23Move unrelated function from ReadExpr classMartin Nowack
2018-10-23Move optimization specific headers away from the project include directoryMartin Nowack
2018-10-23Clean-up headersMartin Nowack
2018-10-23Use std::unordered collections as we use C++11Martin Nowack
2018-10-23Remove unneeded externsMartin Nowack
2018-10-23optimizeExpr: return the result as return value instead as function argumentMartin Nowack
2018-10-23Make valueOnly parameter of optimizeExpr explicitMartin Nowack
2018-10-23Fixed compilation of array optimization patch with LLVM >= 4.0Cristian Cadar
2018-10-23Added missing headers and clang-format the filesCristian Cadar
2018-10-23Added support for KLEE value-based array optimizationAndrea Mattavelli
2018-10-23Added support for KLEE index-based array optimizationAndrea Mattavelli
2018-10-16Small changes to commentsCristian Cadar
2018-10-16Added missing header to SolverCmdLine.h and clang-format itCristian Cadar
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2018-10-08add support for klee-replay on OSXFrank Busse