Age | Commit message (Expand) | Author |
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-19 | Fix problem with incremental with portfolio. Fixes bug 420. | Kshitij Bansal |
2012-10-19 | --fallback-sequential / --no-fallback-sequential option | Kshitij Bansal |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-09 | typo | Kshitij Bansal |
2012-10-09 | bugfix: isQuantified, bugfix: flush | Kshitij Bansal |
2012-10-09 | * make Model class private (as discussed at meeting today) | Morgan Deters |
2012-10-06 | * more complete support for --dump assertions:{pre,post}-PREPROCESSING-PASS | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-03 | --wait-to-join / --no-wait-to-join option | Kshitij Bansal |
2012-10-02 | * re-enable some Z3 extended commands: | Morgan Deters |
2012-10-01 | "Fix" (disable) portfolio when using quantifiers | Kshitij Bansal |
2012-09-29 | Fix a few segfaults in driver. | Morgan Deters |
2012-09-28 | Some fixes to portfolio | Kshitij Bansal |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-27 | * Rename SMT parts (printer, parser) to SMT1 | Morgan Deters |
2012-09-26 | The Tuesday Afternoon Catch-All Commit (TACAC): | Morgan Deters |
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-21 | better verbosity support (so it's sensible when the library is used via the API) | Morgan Deters |
2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
2012-09-10 | list portfolio_util.h in Makefile, so it gets distributed (fixes debian build) | 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-04 | Accepted some patches from the Multicore Programming Group at Imperial Colleg... | Morgan Deters |
2012-08-07 | some fixes to command and declaration tab-completion in interactive shell | Morgan Deters |
2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-16 | Support for having two SmtEngines with the same ExprManager. | Morgan Deters |
2012-07-09 | fix portfolio build | Morgan Deters |
2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-07-06 | Added include unistd to main/util.cpp | Tim King |
2012-06-22 | TPTP: add parser for cnf and fof | François Bobot |
2012-06-18 | Fixing bug 360. The driver wasn't exiting when there was an error (it just p... | Morgan Deters |
2012-06-14 | some changes to make CVC4 work nicely with trace executor for application tra... | Morgan Deters |
2012-06-14 | restore destruction of stuff in driver | Kshitij Bansal |
2012-06-14 | This commit: | Kshitij Bansal |
2012-06-13 | Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ... | Morgan Deters |
2012-06-08 | Merge from decision branch (till r3663) | Kshitij Bansal |
2012-05-21 | main() no longer catches non-CVC4 exceptions. This means on memout and other... | Morgan Deters |
2012-04-25 | portfolio driver: respect parseOnly option | Kshitij Bansal |
2012-03-09 | Some work on the dump infrastructure to support portfolio work. | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2012-02-29 | consistency in how the Dump output stream is used | Morgan Deters |
2012-02-23 | Added ability to set a "cvc4-specific logic" in standards-compliant | Morgan Deters |
2012-02-23 | pcvc4 only built if --with-portfolio given to the configure script (Clark-req... | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-20 | By default, ONLY enable symmetry breaker ONLY for QF_UF (both SMT-LIBv1 | Morgan Deters |
2011-12-05 | change short-circuiting behavior of Command execution in the main driver; all... | Morgan Deters |