Age | Commit message (Expand) | Author |
2012-09-14 | a fix for the java bindings for wei | Morgan Deters |
2012-09-14 | Fix a soundness bug reported by Matthias Weiler (had to do with expired TNodes). | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-13 | ensure that get-value and get-model are consistent, rewrite function value bo... | Andrew Reynolds |
2012-09-12 | Adding model assertions after SAT responses. | Morgan Deters |
2012-09-11 | added getCardinality to model | Andrew Reynolds |
2012-09-11 | Partially reverting the changes made in 4308. There is now both an Expr and N... | Tim King |
2012-09-10 | modified getValue to return Expr instead of Node | Andrew Reynolds |
2012-09-10 | Fixed an error in the rewriter Pascal pointed out. This was in effectively de... | Tim King |
2012-09-10 | list portfolio_util.h in Makefile, so it gets distributed (fixes debian build) | Morgan Deters |
2012-09-08 | Add [*] footnotes to --help output indicating for many options --FOO that the... | Morgan Deters |
2012-09-08 | Some minor changes after reviewing the portfolio "unified driver" commit. | Morgan Deters |
2012-09-08 | Single driver for both sequential and portfolio | Kshitij Bansal |
2012-09-06 | allow SmtEngine::setOption() for trace and debug tags | Morgan Deters |
2012-09-06 | fixes to the compatibility layer; this fixes the broken system test | Morgan Deters |
2012-09-06 | Remove SmtEngine::getStackLevel(), which exposed implementation details and w... | Morgan Deters |
2012-09-06 | add --incremental to --smtlib2 compliance mode (thanks Peter Collingbourne) | Morgan Deters |
2012-09-04 | Accepted some patches from the Multicore Programming Group at Imperial Colleg... | Morgan Deters |
2012-09-03 | minor cleanup leftover from fmf-devel | Andrew Reynolds |
2012-08-31 | merge from fmf-devel branch. more updates to models: now with collectModelIn... | Andrew Reynolds |
2012-08-30 | set the default expression-printing depth to "unlimited" | Morgan Deters |
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-08-29 | To the build system: | Morgan Deters |
2012-08-28 | fix a bug in CLN rational printing where the base was ignored (was causing th... | Morgan Deters |
2012-08-28 | Improved compatibility layer, now supports quantifiers. Also incorporates | Morgan Deters |
2012-08-27 | fix a destruction-order issue that was (1) causing valgrind to complain loudl... | Morgan Deters |
2012-08-27 | * Reversing commit r4258 (which disabled failing regressions). Fixed the pro... | Morgan Deters |
2012-08-26 | minor, lying around in a wd (related to investigating bug 374) | Kshitij Bansal |
2012-08-26 | Array constants finished and working. Unit tests for array constants. | Clark Barrett |
2012-08-25 | fix unit tests | Morgan Deters |
2012-08-24 | * disallow internal uses of mkVar() (you have to mkSkolem()) | Morgan Deters |
2012-08-24 | disallow assertions to inactive theories. | Morgan Deters |
2012-08-24 | fix TheoryEngine::collectModelInfo() to only call collectModelInfo() on activ... | Morgan Deters |
2012-08-24 | fix warning in arrays rewriter | Morgan Deters |
2012-08-24 | fix get-value output in a couple ways; this fixes bug #378 | Morgan Deters |
2012-08-23 | attribute stuff for Clark's array constants | Morgan Deters |
2012-08-23 | Array constant coding done except for the attributes needed | Clark Barrett |
2012-08-22 | Cap finite cardinalities at 2^64, as discussed in the meeting last week. | Morgan Deters |
2012-08-22 | fix some build dependencies in options-building; should fix a strange bug And... | Morgan Deters |
2012-08-22 | More progress on array constants. | Clark Barrett |
2012-08-21 | add some incremental in-tree regressions | Morgan Deters |
2012-08-21 | rewriterules: fix a correction bug with --simplification=batch | François Bobot |
2012-08-20 | remove duplicate function TheoryEngine::getTheory(TheoryId). It was a duplic... | Morgan Deters |
2012-08-20 | minor cleanup | Morgan Deters |
2012-08-20 | fixes for java bindings | Morgan Deters |
2012-08-19 | 1. Fix for inst_match.cpp to allow compilation on fedora | Clark Barrett |
2012-08-16 | The SmtEngine now ensures that setLogicInternal() is called even if there is ... | Morgan Deters |
2012-08-16 | Replace propagateAsDecision() with Theory::getNextDecisionRequest(): | Morgan Deters |
2012-08-16 | ArrayStoreAll should (for now) only allow constant expressions, as it is itse... | Morgan Deters |
2012-08-16 | fix exceptions and mkConst() in java binding | Morgan Deters |