| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-07-26 | A quick editing pass. | Daniel Dunbar |
| 2009-07-26 | Start writing a user focused coreutils case study. | Daniel Dunbar |
| 2009-07-26 | Make sure final KLEE output gets on a new line. | Daniel Dunbar |
| 2009-07-26 | Tweak | Daniel Dunbar |
| 2009-07-26 | Ok, I caved. klee-gcc is useful, at least for now. | Daniel Dunbar |
| 2009-07-25 | (llvm up) Update for llvm::Value getName() change. | Daniel Dunbar |
| 2009-07-25 | (llvm up) Update for API changes. | Daniel Dunbar |
| 2009-07-17 | Make sure to initialize the native target, so we can make a JIT. | Daniel Dunbar |
| 2009-07-17 | Simplify some code, and add more comments. | Daniel Dunbar |
| 2009-07-17 | Update for LLVM's wishy washy developers. | Daniel Dunbar |
| 2009-07-17 | Add some comments for CexCachingSolver::searchForAssignment. | Daniel Dunbar |
| 2009-07-15 | [llvm up] Update for LLVM TOT changes. | Daniel Dunbar |
| 2009-07-15 | Fixed two test cases. | Cristian Cadar |
| 2009-07-15 | Code to answer satisfiability queries. | Cristian Cadar |
| 2009-07-14 | Update for LLVM API changes. | Daniel Dunbar |
| 2009-07-12 | Update for LLVM API changes. | Daniel Dunbar |
| 2009-07-12 | Simplify. | Daniel Dunbar |
| 2009-07-11 | Removed the Nz macro. | Cristian Cadar |
| 2009-07-11 | Update documentation for Not, and normalize some formatting. | Daniel Dunbar |
| 2009-07-11 | Use a builder in the SMT parser instead of constructing expressions | Cristian Cadar |
| 2009-07-11 | Report an error in the SMT parser when encountering the few operators | Cristian Cadar |
| 2009-07-10 | Removed debug info. | Cristian Cadar |
| 2009-07-10 | Fixed order of offsets in Extract. | Cristian Cadar |
| 2009-07-10 | Added xfail test: (query [false] true) should return INVALID. | Cristian Cadar |
| 2009-07-10 | Added support for not, zero_extend, and sign_extend to the SMTLIB parser. | Cristian Cadar |
| 2009-07-10 | Updated the Not operation for constants. Added extra test case for this. | Cristian Cadar |
| 2009-07-10 | Simple propagation rules for boolean not in the fast cex solver. | Cristian Cadar |
| 2009-07-10 | Small test for non-boolean Not. | Cristian Cadar |
| 2009-07-10 | Added support for bitwise not. Replacing "false == " with Not in | Cristian Cadar |
| 2009-07-10 | Replaced createNot() by createIsZero() and "Not" macro by "Nz". | Cristian Cadar |
| 2009-07-08 | Added support for bitvector variables to the SMTLIB parser (currently | Cristian Cadar |
| 2009-07-02 | Added support for bitvector constants to the SMTLIB parser. Only | Cristian Cadar |
| 2009-06-27 | emacs .pc mode: Numbers should be recognized before identifiers | Daniel Dunbar |
| 2009-06-27 | Start move to using APFloat (support long double). | Daniel Dunbar |
| 2009-06-26 | Simplify read/write code. | Daniel Dunbar |
| 2009-06-26 | More large integer support. | Daniel Dunbar |
| 2009-06-25 | Recognizing more SMTLIB expressions (bitwise, etc.). Some of them | Cristian Cadar |
| 2009-06-25 | Added support for flets. | Cristian Cadar |
