about summary refs log tree commit diff homepage
path: root/tools
AgeCommit message (Expand)Author
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-01klee: let user override path to runtime libraryMarek Chalupa
2014-11-13tools: prepend DESTDIR when installingJiri Slaby
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-09-25Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), no...Cristian Cadar
2014-09-17Fix segfault under LLVM3.5 . I forgot to release ownership of theDan Liew
2014-09-17Fix more LLVM3.5 compilation issues.Dan Liew
2014-09-17Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary.Dan Liew
2014-09-17Another LLVM3.5 compilation fix.Dan Liew
2014-09-16[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.Daniel Dunbar
2014-09-16Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.Dan Liew
2014-09-16Fix LLVM3.5 compilation a little more. ``Support/system_error.h``Dan Liew
2014-09-15Merge pull request #158 from delcypher/remove_response_filesCristian Cadar
2014-09-15Taught klee_warning(), klee_error() etc... to emit coloured text output.Dan Liew
2014-09-15Remove --read-args command line option because this feature has beenDan Liew
2014-09-14Remove dependence on the bc tool. Use python instead because we areDan Liew
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12Tweak the workarounds for multiple definition of PACKAGE_* macros from config...Daniel Dunbar
2014-09-12Do not require <sys/capability.h>, which is Linux specific.Daniel Dunbar
2014-07-21Merge pull request #113 from antiAgainst/klee-statsCristian Cadar
2014-07-18Refactor klee-stats and add simple line chart drawing functionality.Lei Zhang
2014-07-09Fix to avoid warning message taking address of mainMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-23Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefin...Hristina Palikareva
2014-04-16Fixed compilation error if uClibc is not used.Stephan Falke
2014-04-15Fix handling of path name creation.Martin Nowack
2014-04-14Fix compilation under LLVM2.9. SmallString in this old version doesDan Liew
2014-04-14fix TOCTOU and simplify output directory creationFrank Busse
2014-04-14Tidy up code by using LLVM's V2 path API only and removing usesDan Liew
2014-04-14Use SmallString and llvm::sys::path/fs API of LLVM 3.4 becauseMartin Nowack
2014-02-24Improved help message for make-concrete-symbolic and fixed some typos.Cristian Cadar
2014-01-25Upstream STP's libstp now depends on boost. This commit updatesDan Liew
2014-01-09Fix build system so that ktest-tool and klee-stats can be installedDan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 03:33:49 +0000