about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2013-12-21The location of KLEE's runtime libraries (apart from klee-uclibc)Dan Liew
2013-12-21Revert "Patch from Ben Gras which "makes Klee look for the libraries in the"Dan Liew
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Close file descriptors used for warnings and messagesMartin Nowack
2013-11-05Exit if using --libc=uclibc and KLEE was not configured with uclibcDan Liew
2013-11-05Refactored part of KleeHandler construction so thatDan Liew
2013-11-05sort and remove some includesFrank Busse
2013-11-05Fix arbitrary path limits and improved error handling (exitFrank Busse
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-21Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...Hristina Palikareva
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-10-11Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3Cristian Cadar
2013-09-24Add missing header file and linker parameterDominic Chen
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-08-29Revert "Use new PathV2 interface for LLVM 2.9 and higher"Martin Nowack
2013-08-29Fix compiling issues with llvm 2.9Martin Nowack
2013-08-29Use new PathV2 interface for LLVM 2.9 and higherMartin Nowack
2013-08-28Fix constness warnings issued by gcc 4.7Martin Nowack
2013-08-28Silence warning of deprecated PathV1 usageMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-15Merge pull request #16 from MartinNowack/DebugSymbolsCristian Cadar
2013-08-15Merge pull request #10 from MartinNowack/TyposCristian Cadar
2013-08-14Handle additional debug intrinsics of LLVMMartin Nowack
2013-08-14Fix typoMartin Nowack
2013-08-13Modified ktest-tool so that it is compatible with python3.Dan Liew
2013-08-06TimingSolver and constructSolverChain() no longer coupled with pointers to ST...Hristina Palikareva
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-03-11Patch by Dan Liew which unifies the solver construction between KLEECristian Cadar
2013-03-06Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.Cristian Cadar
2013-01-29Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o...Cristian Cadar
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2012-11-27Patch by Seungbeom Kim: "Interrupting KLEE's execution while aCristian Cadar
2012-10-24Patch by Jonathan Neuschäfer: "update symbol list forCristian Cadar
2012-10-24Code refactorings by Jonathan Neuschäfer: "move increment into for-loopCristian Cadar
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
2012-10-24Patch by Dan Liew: "Added -print-smtlib option to kleaver tool thatCristian Cadar
2012-10-09Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, -...Cristian Cadar
2012-09-11Changed the default to --max-memory and documented randomize-fork.Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-06-21Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg and...Cristian Cadar
2012-06-20Fixed a minor issue related to an error path in --posix-runtime mode.Cristian Cadar
2012-06-19Patch by Seungbeom Kim for compatibility with old LLVM 2.6.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 03:06:50 +0000