Age | Commit message (Expand) | Author |
2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
2014-09-12 | Tweak the workarounds for multiple definition of PACKAGE_* macros from config... | Daniel Dunbar |
2014-09-12 | Do not require <sys/capability.h>, which is Linux specific. | Daniel Dunbar |
2014-07-21 | Merge pull request #113 from antiAgainst/klee-stats | Cristian Cadar |
2014-07-18 | Refactor klee-stats and add simple line chart drawing functionality. | Lei Zhang |
2014-07-09 | Fix to avoid warning message taking address of main | Martin Nowack |
2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
2014-04-23 | Fixing linking order if metaSMT is used: linking rt after z3 to avoid undefin... | Hristina Palikareva |
2014-04-16 | Fixed compilation error if uClibc is not used. | Stephan Falke |
2014-04-15 | Fix handling of path name creation. | Martin Nowack |
2014-04-14 | Fix compilation under LLVM2.9. SmallString in this old version does | Dan Liew |
2014-04-14 | fix TOCTOU and simplify output directory creation | Frank Busse |
2014-04-14 | Tidy up code by using LLVM's V2 path API only and removing uses | Dan Liew |
2014-04-14 | Use SmallString and llvm::sys::path/fs API of LLVM 3.4 because | Martin Nowack |
2014-02-24 | Improved help message for make-concrete-symbolic and fixed some typos. | Cristian Cadar |
2014-01-25 | Upstream STP's libstp now depends on boost. This commit updates | Dan Liew |
2014-01-09 | Fix build system so that ktest-tool and klee-stats can be installed | Dan Liew |
2013-12-21 | klee-uclibc detection is now a lot cleaner. KLEE now assumes | Dan Liew |
2013-12-21 | The location of KLEE's runtime libraries (apart from klee-uclibc) | Dan Liew |
2013-12-21 | Revert "Patch from Ben Gras which "makes Klee look for the libraries in the" | Dan Liew |
2013-12-11 | Merge pull request #31 from antiAgainst/chroot-replay | Cristian Cadar |
2013-12-08 | Add chroot jail support in klee-replay. | Lei Zhang |
2013-12-06 | Remove stoppoint references | Martin Nowack |
2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
2013-12-05 | Close file descriptors used for warnings and messages | Martin Nowack |
2013-11-05 | Exit if using --libc=uclibc and KLEE was not configured with uclibc | Dan Liew |
2013-11-05 | Refactored part of KleeHandler construction so that | Dan Liew |
2013-11-05 | sort and remove some includes | Frank Busse |
2013-11-05 | Fix arbitrary path limits and improved error handling (exit | Frank Busse |
2013-10-29 | Merge pull request #26 from delcypher/fix_divide_by_zero | Paul |
2013-10-21 | Removed unnecessary/redundant linking of library boost_thread-mt to klee and ... | Hristina Palikareva |
2013-10-11 | MetaSMT builder, solver and command-line options. | Hristina Palikareva |
2013-10-11 | Fixed compilation on LLVM 2.9. irreader should be linked only for LLVM >= 3.3 | Cristian Cadar |
2013-09-24 | Add missing header file and linker parameter | Dominic Chen |
2013-09-21 | Merge pull request #17 from MartinNowack/LLVM33 | Cristian Cadar |
2013-09-02 | Implemented runtime check for overshift (controllable with --check-overshift | Dan Liew |
2013-08-29 | Revert "Use new PathV2 interface for LLVM 2.9 and higher" | Martin Nowack |
2013-08-29 | Fix compiling issues with llvm 2.9 | Martin Nowack |
2013-08-29 | Use new PathV2 interface for LLVM 2.9 and higher | Martin Nowack |
2013-08-28 | Fix constness warnings issued by gcc 4.7 | Martin Nowack |
2013-08-28 | Silence warning of deprecated PathV1 usage | Martin Nowack |
2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
2013-08-15 | Merge pull request #16 from MartinNowack/DebugSymbols | Cristian Cadar |
2013-08-15 | Merge pull request #10 from MartinNowack/Typos | Cristian Cadar |
2013-08-14 | Handle additional debug intrinsics of LLVM | Martin Nowack |
2013-08-14 | Fix typo | Martin Nowack |
2013-08-13 | Modified ktest-tool so that it is compatible with python3. | Dan Liew |
2013-08-06 | TimingSolver and constructSolverChain() no longer coupled with pointers to ST... | Hristina Palikareva |
2013-08-06 | Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo... | Hristina Palikareva |