| Age | Commit message (Expand) | Author |
|---|
| 2014-04-24 | Remove unused pointer to STPSolver in STPSolverImpl to silence clang | Dan Liew |
| 2014-04-16 | Removing a few more hard-coded values for domains and ranges of Array objects | Hristina Palikareva |
| 2014-04-15 | Associate a domain and range with each array | Peter Collingbourne |
| 2014-02-14 | Explicitly get the width of the "shift" expression rather than assuming | Dan Liew |
| 2014-02-14 | Remove STPBuilder::getShiftBits() which is no longer used. | Dan Liew |
| 2014-02-14 | Fixed overshift of arithmetic right shift by constant so that it | Dan Liew |
| 2014-02-14 | Fixed overshift of arithmetic right shift by symbolic so that it overshifts | Dan Liew |
| 2014-02-14 | Fixed overshift of logical right shift by constant so that it | Dan Liew |
| 2014-02-14 | Fixed overshift of logical right shift by symbolic so that it overshifts | Dan Liew |
| 2014-02-14 | Fixed overshifting an expression by a constant so that we overshift to | Dan Liew |
| 2014-02-14 | Added a test case for testing overshift behaviour of Shl and fixed | Dan Liew |
| 2014-02-14 | Translate shl overshifts into 0 | Paul Marinescu |
| 2013-12-21 | Do not install KLEE's internal libraries. | Dan Liew |
| 2013-10-11 | getConstraintLog() of MetaSMTSolver explicitly states that this feature is no... | Hristina Palikareva |
| 2013-10-11 | Bug fix in MetaSMTBuilder | Hristina Palikareva |
| 2013-10-11 | MetaSMT builder, solver and command-line options. | Hristina Palikareva |
| 2013-09-17 | Merge pull request #21 from delcypher/fix_query_logging | Cristian Cadar |
| 2013-08-28 | Fix constness warnings issued by gcc 4.7 | Martin Nowack |
| 2013-08-23 | In QueryLoggingSolver call flush() on std::ofstream so that queries | Dan Liew |
| 2013-08-06 | Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo... | Hristina Palikareva |
| 2013-08-06 | Renaming solver-related command-line options in order to decouple them from S... | Hristina Palikareva |
| 2013-07-11 | Fixed and improved the stats on (cex)cache hits and misses. | Cristian Cadar |
| 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 |
