| Age | Commit message (Expand) | Author |
|---|
| 2010-04-22 | Applied patch submitted by Peter Collingbourne: "If either of these | Cristian Cadar |
| 2010-04-05 | Add long double support, patch by David Ramos. | 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-09 | Fix PR6211, the comparison was created with the wrong width. Patch by Stefan | Daniel Dunbar |
| 2009-09-21 | Improve skipping of debug intrinsics, we can't evaluate MDNode operands. | Daniel Dunbar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-08-17 | Update for LLVM API change. | Daniel Dunbar |
| 2009-08-03 | Fix computation of GetElementPtr offset for 64-bit targets. | Daniel Dunbar |
| 2009-08-02 | Print allocation info for adjacent objects in out-of-bounds message. | 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-07-29 | Multiply for alloca & malloca instructions may need to coerce index expression | Daniel Dunbar |
| 2009-07-28 | KLEE64: When binding GetElementPtr constants, do evaluation in pointer width of | Daniel Dunbar |
| 2009-07-28 | Move Machine constants into Context object, initialized based on the target | 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-15 | [llvm up] Update for LLVM TOT changes. | Daniel Dunbar |
| 2009-07-12 | Simplify. | Daniel Dunbar |
| 2009-07-10 | Replaced createNot() by createIsZero() and "Not" macro by "Nz". | Cristian Cadar |
| 2009-06-27 | Start move to using APFloat (support long double). | Daniel Dunbar |
| 2009-06-26 | More large integer support. | Daniel Dunbar |
| 2009-06-25 | Flesh out support for arbitrary bit widths in some key places (STP & constant | Daniel Dunbar |
| 2009-06-24 | Update for LLVM API change. | Daniel Dunbar |
| 2009-06-14 | Kill off ExtractExpr::createByteOff. | Daniel Dunbar |
| 2009-06-14 | More ConstantExpr cleanup. | Daniel Dunbar |
| 2009-06-14 | Fail with an exec error on large (> 64-bit) floating point ops. | Daniel Dunbar |
| 2009-06-14 | More ConstantExpr tweaks. | Daniel Dunbar |
| 2009-06-14 | Change AddressSpace::resolveOne to take a ConstantExpr directly (and to allow | Daniel Dunbar |
| 2009-06-14 | Add ConstantExpr::{getLimitedValue,getZExtValue}. | Daniel Dunbar |
| 2009-06-14 | Add several ConstantExpr utility functions and move clients over. | Daniel Dunbar |
| 2009-06-14 | Add constant folding operations to ConstantExpr. | Daniel Dunbar |
| 2009-06-13 | Switch to using constant arrays for non-symbolic objects. | Daniel Dunbar |
| 2009-06-13 | Create new ObjectState constructor for explicitly creating symbolic objects. | Daniel Dunbar |
| 2009-06-13 | Fix for the issue reported and diagnosed by Seungbeom, where KLEE was | Cristian Cadar |
| 2009-06-10 | Change ExecutionState::symbolics to include both the MemoryObject and the | Daniel Dunbar |
| 2009-06-10 | Use Arrays instead of MemoryObject where possible. | Daniel Dunbar |
| 2009-06-09 | Remove Array::object. | Daniel Dunbar |
| 2009-06-05 | Clean up a number of unused variable warnings when building w/o | Daniel Dunbar |
| 2009-06-05 | (llvm up) Update klee for introduction of f{add,sub,mul} instructions. | Daniel Dunbar |
| 2009-06-04 | Sink getConstantValue into ConstantExpr. | Daniel Dunbar |
| 2009-06-04 | Change Solver::getValue to make explicit that result is a ConstantExpr. | Daniel Dunbar |
| 2009-06-04 | Start removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Move isConstant from ref<> to Expr:: | Daniel Dunbar |
| 2009-06-03 | Kill off specialized ref<> forwarding methods, in the interest of making it a | Daniel Dunbar |
| 2009-06-03 | Update a few things that got forgotten in the great "bout" to "ktest" | Daniel Dunbar |
| 2009-06-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
| 2009-06-01 | Kill off klee_malloc_n, we don't want to support this. | Daniel Dunbar |
| 2009-06-01 | Modify eval() to return a cell reference instead of its contents. | Daniel Dunbar |
| 2009-05-23 | Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa... | Cristian Cadar |
