| Age | Commit message (Expand) | Author |
|---|
| 2012-10-24 | Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv... | Cristian Cadar |
| 2012-10-18 | Nice patch by Hristina Palikareva that removes the dependency on STP | Cristian Cadar |
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the --with... | Cristian Cadar |
| 2012-06-01 | Patch by Oscar Dustmann fixing a buffer overflow when long names are | Cristian Cadar |
| 2012-03-26 | STPBuilder: fix getShiftBits properly. | Peter Collingbourne |
| 2012-03-26 | STPBuilder: fix bv{Zero,One,MinusOne} for the case where width>64 | Peter Collingbourne |
| 2012-03-26 | STPBuilder: fix ConstantExpr builder for the case where width>64 but | Peter Collingbourne |
| 2011-12-13 | Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64. | Peter Collingbourne |
| 2011-12-11 | Patch by Ben Gras fixing a few minor issues: adds missing includes, | Cristian Cadar |
| 2011-05-18 | Maintain an equivalence set during comparison operations | Peter Collingbourne |
| 2011-03-30 | Bug fix in STPBuilder. Patch submitted by David Ramos, thanks! | Cristian Cadar |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2010-05-02 | Fix some const cast warnings. | Daniel Dunbar |
| 2010-04-22 | Added --stp-optimize-divides flag. Patch submitted by Peter | Cristian Cadar |
| 2010-04-05 | STP: Switch build to using LLVM style Makefiles. | Daniel Dunbar |
| 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-01 | Avoid failing if waitpid fails with EINTR, patch by Vladimir Kuznetsov. | Daniel Dunbar |
| 2009-07-28 | Move Machine constants into Context object, initialized based on the target | Daniel Dunbar |
| 2009-07-17 | Simplify some code, and add more comments. | Daniel Dunbar |
| 2009-07-17 | Add some comments for CexCachingSolver::searchForAssignment. | Daniel Dunbar |
| 2009-07-10 | Simple propagation rules for boolean not in the fast cex solver. | 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-06-26 | More large integer support. | Daniel Dunbar |
| 2009-06-25 | Remove some more uses of getConstantValue. | Daniel Dunbar |
| 2009-06-25 | Flesh out support for arbitrary bit widths in some key places (STP & constant | Daniel Dunbar |
| 2009-06-16 | Improve FastCexSolver: | Daniel Dunbar |
| 2009-06-14 | More ConstantExpr tweaks. | 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-10 | Fix a bug in the logging solver which was printing the expression in a | Daniel Dunbar |
| 2009-06-09 | More constant Array support. | Daniel Dunbar |
| 2009-06-09 | Add initial support for constant Arrays. | Daniel Dunbar |
| 2009-06-09 | Remove Array::id. | Daniel Dunbar |
| 2009-06-09 | Switch Array* print-outs to use name instead of ID, and update a few | Daniel Dunbar |
| 2009-06-09 | Use Array* to map objects instead of id. | Daniel Dunbar |
| 2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
| 2009-06-09 | Remove unnecessary include. | Daniel Dunbar |
| 2009-06-08 | FastCexSolver: Start implementing exact value propogation. | Daniel Dunbar |
| 2009-06-08 | FastCexSolver: Stub out infrastructure for propogating exact values & proving | Daniel Dunbar |
| 2009-06-08 | FastCexSolver: Add exact value contents to CexObjectData. | Daniel Dunbar |
| 2009-06-08 | FastCexSolver: Rename forceExprTo* to propogatePossible* | Daniel Dunbar |
| 2009-06-08 | FastCexSolver: Lazily initialize object values and kill off ObjectFinder class. | Daniel Dunbar |
| 2009-06-08 | Kill off Concat::is[248]ByteConcat, and fix FastCexSolver for this case. | Daniel Dunbar |
| 2009-06-08 | Add klee::createDummySolver, the dummy solver always fails. | Daniel Dunbar |
| 2009-06-08 | Cleanup FastCexSolver: | Daniel Dunbar |
| 2009-06-05 | Support the extended query command syntax. | Daniel Dunbar |
| 2009-06-05 | Clean up a number of unused variable warnings when building w/o | Daniel Dunbar |
| 2009-06-04 | Sink getConstantValue into ConstantExpr. | Daniel Dunbar |
