| Age | Commit message (Expand) | Author |
|---|
| 2011-04-23 | Transformed the assert() checking for overlapping objects into a call | Cristian Cadar |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2011-03-30 | Fixed bug in WeightedRandomSearcher (CoveringNew). Patch by David | Cristian Cadar |
| 2011-03-30 | Fixed some typos. | Cristian Cadar |
| 2010-08-05 | Store CallInst and InvokeInst operands in a fixed order: function, arg0, arg1... | Peter Collingbourne |
| 2010-08-05 | Have getDirectCallTarget use CallSite | Peter Collingbourne |
| 2010-08-05 | Use CallSite in StatsTracker::computeReachableUncovered | Peter Collingbourne |
| 2010-07-15 | Reduce variable shadowing. | Daniel Dunbar |
| 2010-07-15 | Fix some -Wmismatched-tags warnings. | Daniel Dunbar |
| 2010-07-15 | Remove stray semicolons in class definitions. | Daniel Dunbar |
| 2010-07-08 | Add support for InsertValue and ExtractValue instructions | Peter Collingbourne |
| 2010-06-28 | Applied Stefan Bucur's patch from | Cristian Cadar |
| 2010-06-24 | Handle ConstantAggregateZero constants | Peter Collingbourne |
| 2010-06-24 | Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o... | Peter Collingbourne |
| 2010-06-24 | Implement klee_stack_trace function | Peter Collingbourne |
| 2010-06-24 | Added ExecutionState::dumpStack function for inspecting the status of the stack | Peter Collingbourne |
| 2010-05-24 | Removed unused use-query-log option, patch submitted by Peter Collingbourne. | Cristian Cadar |
| 2010-05-02 | Fix a Wformat warning. | Daniel Dunbar |
| 2010-05-02 | Fix some const cast warnings. | Daniel Dunbar |
| 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-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-25 | Applied patch submitted by Justin Lebar to fix compilation error w/ | Cristian Cadar |
| 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-08-01 | When generating external function stubs, access the arguments in terms of the | 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-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 | Update for LLVM API 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 |
