| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-08-02 | Disable this test, KLEE's new[] implementation is broken; surprisingly this | Daniel Dunbar |
| 2009-08-02 | Stop building the STP parser, we don't need it and it unnecessarily adds a | Daniel Dunbar |
| 2009-08-01 | Fixes for building runtime on linux x86-64. | Daniel Dunbar |
| 2009-08-01 | A few type fixes for libc functions, for 64-bit. | Daniel Dunbar |
| 2009-08-01 | Implement va_arg handling for x86_64. | Daniel Dunbar |
| 2009-08-01 | KLEE64: Fix initialization of ctype_ externals. | Daniel Dunbar |
| 2009-08-01 | Rewrite constant initialization to be more portable and readable. | Daniel Dunbar |
| 2009-08-01 | Add Expr::dump | Daniel Dunbar |
| 2009-08-01 | When generating external function stubs, access the arguments in terms of the | Daniel Dunbar |
| 2009-08-01 | Use size_t where appropriate for ImmutableTree and friends. | Daniel Dunbar |
| 2009-08-01 | Don't force -m32 in tests; this should be handled by the build system. | Daniel Dunbar |
| 2009-08-01 | Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency. | Daniel Dunbar |
| 2009-08-01 | Update for LLVM API change. | Daniel Dunbar |
| 2009-08-01 | Avoid failing if waitpid fails with EINTR, patch by Vladimir Kuznetsov. | Daniel Dunbar |
| 2009-07-30 | pcregrep.c isn't going to work on x86_64. | Daniel Dunbar |
| 2009-07-29 | Multiply for alloca & malloca instructions may need to coerce index expression | Daniel Dunbar |
| 2009-07-28 | Add missing va_end and null check. | Daniel Dunbar |
| 2009-07-28 | KLEE64: Fix a type conversion problem with calls to klee_make_symbolic; there | Daniel Dunbar |
| 2009-07-28 | KLEE64: When binding GetElementPtr constants, do evaluation in pointer width of | Daniel Dunbar |
| 2009-07-28 | KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. I | Daniel Dunbar |
| 2009-07-28 | KLEE64: GetElementPtr constants should be evaluated in the target pointer width. | Daniel Dunbar |
| 2009-07-28 | KLEE64: Fix some totally bogus printing code, which was reusing a va_list | Daniel Dunbar |
| 2009-07-28 | Move Machine constants into Context object, initialized based on the target | Daniel Dunbar |
| 2009-07-26 | Tweak objdump script, kcachegrind has gotten stricter about its parsing. | Daniel Dunbar |
