| Age | Commit message (Expand) | Author |
|---|
| 2014-01-20 | Add lit.local.cfg file for test/Concrete so no tests are executed | Dan Liew |
| 2014-01-20 | * Do not ignore lit.local.cfg files needed for llvm-lit | Dan Liew |
| 2014-01-20 | Removed all of llvm-lit's dependence on DejaGNU. A few things | Dan Liew |
| 2014-01-20 | Fixed Feature/InAndOutOfBounds.c so it did not make use of ! which | Dan Liew |
| 2014-01-20 | Force python2 to be used when running llvm-lit. This needs to be fixed | Dan Liew |
| 2014-01-20 | Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable | Dan Liew |
| 2014-01-20 | Fixed Feature/LongDouble.cpp test for llvm-lit by removed use of | Dan Liew |
| 2014-01-20 | Fixed many tests that make use of the file tool to check | Dan Liew |
| 2014-01-20 | Allow llvm-lit from 2.9 to work by hacking %T substitution variable. | Dan Liew |
| 2014-01-20 | Put llvm tools directory at beginning of PATH list so that the LLVM | Dan Liew |
| 2014-01-20 | Add LLVM tool directory to PATH when running tests with llvm-lit. | Dan Liew |
| 2014-01-20 | Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue. | Dan Liew |
| 2014-01-20 | Fixed Expr/Parser/MultiByteReads.pc test. | Dan Liew |
| 2014-01-20 | Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably | Dan Liew |
| 2014-01-20 | Removed use of deprecated Tcl parser for tests. This allows | Dan Liew |
| 2014-01-17 | Merge pull request #94 from MartinNowack/fix_assert_library_linking | Dan Liew |
| 2014-01-17 | Fix error message for failing linking of libraries | Martin Nowack |
| 2014-01-17 | Make KLEE fail in case main function is missing | Martin Nowack |
| 2014-01-12 | Merge pull request #68 from MartinNowack/feature_kleeInternalFunctions | Dan Liew |
| 2014-01-10 | Merge pull request #86 from msoos/master | Dan Liew |
| 2014-01-10 | Fixing missing include from get_sign.c | Mate Soos |
| 2014-01-09 | Fixed race condition in parallel build where a symbolic link | Dan Liew |
| 2014-01-09 | Fix build system so that ktest-tool and klee-stats can be installed | Dan Liew |
| 2013-12-22 | Merge pull request #78 from delcypher/fix_klee_install | Cristian Cadar |
| 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-21 | Do not install KLEE's header files. They are not for public | Dan Liew |
| 2013-12-21 | Do not install KLEE's internal libraries. | Dan Liew |
| 2013-12-21 | Fixed mistake in commit c5510caa2a0ce6ad9a153fee094fe50855313450 | Dan Liew |
| 2013-12-20 | Merge pull request #81 from delcypher/fix_unittest_llvm33_clang | Cristian Cadar |
| 2013-12-20 | Fix compilation of unittests under Clang. | Dan Liew |
| 2013-12-19 | Added a few comments to Executor::getLastNonKleeInternalInstruction() | Dan Liew |
| 2013-12-19 | When writing stack traces for bugs write the location in the assembly.ll | Dan Liew |
| 2013-12-19 | If error location information is missing be explicit about it. This | Dan Liew |
| 2013-12-19 | Only record debug info into InstructionInfoTable if debug information | Dan Liew |
| 2013-12-19 | Remove old algorithm for acquiring debug info. Since LLVM 2.7, | Dan Liew |
| 2013-12-19 | Optimize inlineChecks function | Martin Nowack |
| 2013-12-19 | Replicate debug information from checked instructions to checker call. | Martin Nowack |
| 2013-12-19 | Allow to specify KLEE-internal functions | Martin Nowack |
| 2013-12-19 | Simplify acquisition of debug informtion for instruction info with newer LLVM... | Martin Nowack |
| 2013-12-19 | Merge pull request #76 from srg-imperial/master | Dan Liew |
| 2013-12-19 | Merge pull request #79 from delcypher/fix_llvm33_single_test | Dan Liew |
| 2013-12-19 | Re-add support for running individual tests when built with LLVM3.3 | Dan Liew |
| 2013-12-19 | Merge pull request #80 from MartinNowack/fix_multiple_buildmodes | Dan Liew |
| 2013-12-19 | Allow different build modes for LLVM coexist | Martin Nowack |
| 2013-12-12 | Patch by Daniel Lupei, fixing a performance bug with the | Cristian Cadar |
| 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 | Merge pull request #72 from MartinNowack/deprecate_llvm28 | MartinNowack |
