| Age | Commit message (Expand) | Author |
|---|
| 2013-01-22 | Added a new option --ignore-solver-failures, disabled by default, to | Cristian Cadar |
| 2013-01-02 | Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta. | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding more detailed information on query failures. | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ... | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl... | Cristian Cadar |
| 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 |
