about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
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
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-01-22MergeHandler: remove unused closedStateCountJiri Slaby
2018-01-08[NFC] Remove unused config header template that was only used byDan Liew
2017-11-30Implemented bounded merging functionalityLukas Wölfer
2017-10-17add support for CVC4 and Yices2 via metaSMTHoang M. Le
2017-09-22Merge pull request #748 from ccadar/optionsCristian Cadar
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-08-11Added support for hiding command-line optionsCristian Cadar
2017-08-04Removed merging searchersLukas Wölfer
2017-07-29Added another variant of printFileLine in KInstruction that returns the locat...Cristian Cadar
2017-07-26Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::listCristian Cadar
2017-07-25Added the const qualifier to the keys in the constantMapCristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-16move module loading into external functionJörg Thalheim
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-06-08Merge pull request #675 from ccadar/varargsAndrea Mattavelli
2017-06-08Fixed typos in comments related to vararg support.Cristian Cadar
2017-06-02hide backend solver declarations from public includeHoang M. Le
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-06-01Refactor file opening code out of `main.cpp` and intoDan Liew
2017-03-23Add `AssignmentValidatingSolver`. It's purpose is to check any computedDan Liew
2017-03-23[WIP] Fix bug where stats would not be updated on early exit caused byDan Liew
2017-03-03Moved printFileLine() to be part of KInstructionCristian Cadar
2017-02-25llvm: stop using global contextJiri Slaby
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 14:18:38 +0000