about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
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
2018-10-04config.h.cmin: remove obsolete cmakedefineJulian Büning
2018-09-18llvm4: PointerType is not SequentialTypeJiri Slaby
2018-09-18llvm4: use chrono helpers from LLVMJiri Slaby
2018-09-06Fix missing includes and declarationsMartin Nowack
2018-07-04Fix uninitialized memory: enums have to be initializedMartin Nowack
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-06-29Explicitly initialize value to squelch a potentially uninitialized value warningDaniel Schemmel
2018-06-14Add unittest for DiscretePDFMartin Nowack
2018-06-13klee_int: allow NULL as nameFrank Busse
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to re...Cristian Cadar
2018-05-22Simplified printFileLine by using std::to_string, and removed unneeded versio...Cristian Cadar
2018-05-21stop using DEBUG macro nameJiri Slaby
2018-05-15Improved code qualityLukas Wölfer
2018-05-15Implemented incomplete mergingLukas Wölfer
2018-05-15remove QueryLog.hFrank Busse
2018-05-09Improve handling of constant array in Z3Timotej Kapus
2018-05-09Fix include filesMartin Nowack
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 18:51:13 +0000