| Age | Commit message (Expand) | Author |
|---|
| 2010-05-02 | Add a little hack for visualizing KLEE branching. | Daniel Dunbar |
| 2010-05-02 | Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inline | Daniel Dunbar |
| 2010-05-02 | Fix some const cast warnings. | Daniel Dunbar |
| 2010-04-29 | Fixed compilation of unit tests. | Cristian Cadar |
| 2010-04-26 | Applied patch submitted by Peter Collingbourne: "Some parts of the | Cristian Cadar |
| 2010-04-22 | Added --stp-optimize-divides flag. Patch submitted by Peter | Cristian Cadar |
| 2010-04-22 | Applied patch submitted by Peter Collingbourne: "If either of these | Cristian Cadar |
| 2010-04-19 | ktest-tool: Add --write-ints option, for printing 4-byte objects as integers. | Daniel Dunbar |
| 2010-04-05 | Fix some tests w/ objdir != srcdir. | Daniel Dunbar |
| 2010-04-05 | Add long double support, patch by David Ramos. | Daniel Dunbar |
| 2010-04-05 | Make sure to include config.h, for llvm version check. | Daniel Dunbar |
| 2010-04-05 | Fix -emit-llvm spelling (although, these aren't actually needed). | Daniel Dunbar |
| 2010-04-05 | Fix some final objdir != src problems. | Daniel Dunbar |
| 2010-04-05 | STP: Switch build to using LLVM style Makefiles. | Daniel Dunbar |
| 2010-04-05 | STP: Remove unused files. | Daniel Dunbar |
| 2010-04-05 | STP: Eliminate dead test. | Daniel Dunbar |
| 2010-04-05 | STP: Eliminate use of non-standard variadic macro. | Daniel Dunbar |
| 2010-04-05 | STP: Remove stray semi-colons. | Daniel Dunbar |
| 2010-04-05 | STP: Switch to standard C++ file suffix. | Daniel Dunbar |
| 2010-04-05 | STP: Add pre-generated ASTKind.{cpp,h}. | Daniel Dunbar |
| 2010-04-05 | STP: Avoid use of zero-sized array GNU extension. | Daniel Dunbar |
| 2010-04-05 | Update config.{guess,sub}. | Daniel Dunbar |
| 2010-04-05 | Update for LLVM API change. | Daniel Dunbar |
| 2010-03-14 | Update for 2.7. | Daniel Dunbar |
| 2010-03-14 | Kill off ExecutionTrace stuff, it is too messy. | Daniel Dunbar |
| 2010-02-26 | Test commit. | Daniel Dunbar |
| 2010-02-25 | Applied patch submitted by Justin Lebar to fix compilation error w/ | Cristian Cadar |
| 2010-02-19 | Fixed the problem of 'make check' failing on XFAILs. Based on patch | Cristian Cadar |
| 2010-02-13 | Fix some doxyments, patch by Peter Collingbourne! | Daniel Dunbar |
| 2010-02-09 | Fix PR6211, the comparison was created with the wrong width. Patch by Stefan | Daniel Dunbar |
| 2009-10-25 | Update instructions to suggest using llvm-gcc 2.6. | Daniel Dunbar |
| 2009-10-25 | Update instructions to suggest using LLVM 2.6. | Daniel Dunbar |
| 2009-10-25 | Update source to build against LLVM 2.6 | Daniel Dunbar |
| 2009-10-24 | Regenerate configure. | Daniel Dunbar |
| 2009-10-24 | Update configure logic to detect LLVM version (for use in config.h). | Daniel Dunbar |
| 2009-09-21 | Don't force llvm-gcc to -m32, just hope that it was configured correctly for the | Daniel Dunbar |
| 2009-09-21 | Improve skipping of debug intrinsics, we can't evaluate MDNode operands. | Daniel Dunbar |
| 2009-09-21 | Don't try to evaluate MDNode operands. | Daniel Dunbar |
| 2009-09-05 | Applied patch submitted by Pongsin Poosankam that fixes a bug in the | Cristian Cadar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-08-24 | Applied the patch submitted by Robby Cochran that fixes an arithmetic overflo... | Cristian Cadar |
| 2009-08-17 | Update for LLVM API change. | Daniel Dunbar |
| 2009-08-05 | Write "Step 6: Replaying KLEE generated test cases", using klee-replay. | Daniel Dunbar |
| 2009-08-05 | klee-replay: Support running multiple tests in one invocation, and tweak output | Daniel Dunbar |
| 2009-08-05 | Build klee-replay when the POSIX runtime is enabled. | Daniel Dunbar |
| 2009-08-05 | Add klee-replay tool. | Daniel Dunbar |
| 2009-08-03 | Fix computation of GetElementPtr offset for 64-bit targets. | Daniel Dunbar |
| 2009-08-02 | Add instructions on how to build with POSIX/uClibc support to GetStarted page. | Daniel Dunbar |
| 2009-08-02 | Don't abort on --exit-on-error failures, this is just confusing. | Daniel Dunbar |
| 2009-08-02 | Print allocation info for adjacent objects in out-of-bounds message. | Daniel Dunbar |
