Age | Commit message (Expand) | Author |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-27 | finally, a portable solution | Morgan Deters |
2012-09-27 | fix for non-Mac | Morgan Deters |
2012-09-27 | speed up mkoptions script (esp. on Macs) | Morgan Deters |
2012-09-27 | better progress indicator for mkoptions | Morgan Deters |
2012-09-26 | disable building of cvc3_george system-test object (which isn't used yet anyw... | Morgan Deters |
2012-09-26 | Finish off SEXPR kind work. | Morgan Deters |
2012-09-26 | updates to model generation : do not modify equality engine during getValue, ... | Andrew Reynolds |
2012-09-26 | Fix a handful of things for Mac, and Java bindings. | Morgan Deters |
2012-09-26 | bug #398 test (bug was resolved last night), and a script to download all bug... | Morgan Deters |
2012-09-26 | Fix type checking for define-funs (resolves bug 398). | Morgan Deters |
2012-09-26 | The Tuesday Afternoon Catch-All Commit (TACAC): | Morgan Deters |
2012-09-25 | fix | Morgan Deters |
2012-09-25 | fix some Mac issues | Morgan Deters |
2012-09-25 | some buggy examples for incrementality, and make bug326 run as part of make r... | Morgan Deters |
2012-09-24 | some api changes | Dejan Jovanović |
2012-09-24 | Fix the memout issue seen in recent nightly regressions (was due to a | Morgan Deters |
2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
2012-09-22 | another fix for the equality class iterator | Dejan Jovanović |
2012-09-21 | Fixes for datatype dumping and printing. Add a new test case for dumping. | Morgan Deters |
2012-09-21 | SMT-LIBv2 compliance updates: | Morgan Deters |
2012-09-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-20 | map C++ exceptions to Java exceptions correctly when they are thrown, and giv... | Morgan Deters |
2012-09-20 | some bugfixes that come as a result of debugging some CASCADE/C stuff.. | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-09-19 | fix subtle bug in NodeValue::toStream() | Morgan Deters |
2012-09-19 | fix for bug 370. | Dejan Jovanović |
2012-09-19 | Changing the equality engines's euivalence class iterator. Andy please check ... | Dejan Jovanović |
2012-09-18 | SMT-LIBv2 compliance regarding outputting "unknown". | Morgan Deters |
2012-09-17 | speed up option-file generation on Mac OS by an order of magnitude | Morgan Deters |
2012-09-17 | more bindings fixes | Morgan Deters |
2012-09-17 | minor fix for models, added simple cliques option for uf strong solver | Andrew Reynolds |
2012-09-16 | enable bug regression for bug 382 | Morgan Deters |
2012-09-16 | store values returned by get-value in TheoryModel::d_reps if necessary, fixes... | Andrew Reynolds |
2012-09-15 | minor interface improvements, compliance fixes | Morgan Deters |
2012-09-15 | another bindings fix (should fix debian build) | Morgan Deters |
2012-09-15 | bug testcase for model generation | Morgan Deters |
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 |