about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-01-10Fixing missing include from get_sign.cMate Soos
2014-01-09Fixed race condition in parallel build where a symbolic linkDan Liew
2014-01-09Fix build system so that ktest-tool and klee-stats can be installedDan Liew
2013-12-22Merge pull request #78 from delcypher/fix_klee_installCristian Cadar
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-21Do not install KLEE's header files. They are not for publicDan Liew
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-21Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450Dan Liew
2013-12-20Merge pull request #81 from delcypher/fix_unittest_llvm33_clangCristian Cadar
2013-12-20Fix compilation of unittests under Clang.Dan Liew
2013-12-19Merge pull request #76 from srg-imperial/masterDan Liew
2013-12-19Merge pull request #79 from delcypher/fix_llvm33_single_testDan Liew
2013-12-19Re-add support for running individual tests when built with LLVM3.3Dan Liew
2013-12-19Merge pull request #80 from MartinNowack/fix_multiple_buildmodesDan Liew
2013-12-19Allow different build modes for LLVM coexistMartin Nowack
2013-12-12Patch by Daniel Lupei, fixing a performance bug with theCristian Cadar
2013-12-11Merge pull request #31 from antiAgainst/chroot-replayCristian Cadar
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2013-12-06Merge pull request #72 from MartinNowack/deprecate_llvm28MartinNowack
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Merge pull request #11 from MartinNowack/MemleaksCristian Cadar
2013-12-05Close file descriptors used for warnings and messagesMartin Nowack
2013-12-05Fix unitialized valueMartin Nowack
2013-12-05Free used constants if not used anymoreMartin Nowack
2013-12-05Fix timer leakMartin Nowack
2013-11-25Merge pull request #67 from MartinNowack/fix_asm_addressCristian Cadar
2013-11-15Merge branch 'master' of https://github.com/ccadar/kleeCristian Cadar
2013-11-15Removed testing-env file. As for testing-dir that was removed in aCristian Cadar
2013-11-15Merge pull request #69 from MartinNowack/fix_runtime_posixCristian Cadar
2013-11-14Remove unused testing-dirMartin Nowack
2013-11-14Add additional note that testcase might fail ifMartin Nowack
2013-11-14Fix lseek and getdentsMartin Nowack
2013-11-13Fix using assembler addresses for global variablesMartin Nowack
2013-11-13Merge pull request #60 from MartinNowack/fix_posixCristian Cadar
2013-11-13Merge pull request #65 from delcypher/detect-bitcode-compilerCristian Cadar
2013-11-08Fix the detection of the LLVM bitcode compiler. This is now done at KLEEDan Liew
2013-11-05Merge pull request #63 from delcypher/nouclibcDan Liew
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-11-02Merge pull request #61 from MartinNowack/fix_futimesatPaul Marinescu
2013-11-02Fix Futimesat compilation with newer gcc and clangMartin Nowack
2013-11-02Fix build of POSIX file descriptor functionsMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-22Merge pull request #41 from hpalikareva/metasmt-multisolverCristian Cadar
2013-10-21Removed unnecessary/redundant linking of library boost_thread-mt to klee and ...Hristina Palikareva
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-02-16 14:35:48 +0000