| Age | Commit message (Expand) | Author |
|---|
| 2015-07-06 | Make the super-set check in CexCachingSolver default off | Eric Rizzi |
| 2015-03-20 | [Solver] Fix leak intermediate expression not freed | Martin Nowack |
| 2014-12-09 | Merge pull request #186 from paulmar/fixshift | Cristian Cadar |
| 2014-12-08 | Fix overshift check | Paul Marinescu |
| 2014-12-03 | Handling overshift behaviour in MetaSMTBuilder | Hristina Palikareva |
| 2014-12-02 | Implement :named and let abbreviation modes in ExprSMTLIBPrinter | Raimondas Sasnauskas |
| 2014-09-14 | Fix compilation error due to change in raw_fd_ostream for LLVM3.5 | Dan Liew |
| 2014-09-13 | [Solver] Tune down the shared memory region size on Darwin. | Daniel Dunbar |
| 2014-09-13 | [Solver] Ensure shared memory allocation failures are reported as errors, not... | Daniel Dunbar |
| 2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
| 2014-09-12 | When building against libc++ (vs libstdcxx), use standard unordered_{map,set}... | Daniel Dunbar |
| 2014-05-29 | Use LLVM DEBUG macro instead of #if 0 or #if DEBUG | Martin Nowack |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-04-24 | Fixed order of domain and range in array creation in MetaSMTBuilder. | Hristina Palikareva |
| 2014-04-24 | Fixed creation of arrays with variable domains and ranges in STPBuilder and M... | Hristina Palikareva |
| 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 |
