about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-01-20Allow llvm-lit from 2.9 to work by hacking %T substitution variable.Dan Liew
2014-01-20Put llvm tools directory at beginning of PATH list so that the LLVMDan Liew
2014-01-20Add LLVM tool directory to PATH when running tests with llvm-lit.Dan Liew
2014-01-20Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.Dan Liew
2014-01-20Fixed Expr/Parser/MultiByteReads.pc test.Dan Liew
2014-01-20Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probablyDan Liew
2014-01-20Removed use of deprecated Tcl parser for tests. This allowsDan Liew
2014-01-17Merge pull request #94 from MartinNowack/fix_assert_library_linkingDan Liew
2014-01-17Fix error message for failing linking of librariesMartin Nowack
2014-01-17Make KLEE fail in case main function is missingMartin Nowack
2014-01-12Merge pull request #68 from MartinNowack/feature_kleeInternalFunctionsDan Liew
2014-01-10Merge pull request #86 from msoos/masterDan Liew
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-19Added a few comments to Executor::getLastNonKleeInternalInstruction()Dan Liew
2013-12-19When writing stack traces for bugs write the location in the assembly.llDan Liew
2013-12-19If error location information is missing be explicit about it. ThisDan Liew
2013-12-19Only record debug info into InstructionInfoTable if debug informationDan Liew
2013-12-19Remove old algorithm for acquiring debug info. Since LLVM 2.7,Dan Liew
2013-12-19Optimize inlineChecks functionMartin Nowack
2013-12-19Replicate debug information from checked instructions to checker call.Martin Nowack
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-19Simplify acquisition of debug informtion for instruction info with newer LLVM...Martin Nowack
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-29 15:58:44 +0000