Age | Commit message (Expand) | Author |
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 |
2011-12-02 | Error detection is different now---with new Command infrastructure, exception... | Morgan Deters |
2011-11-22 | More language bindings work: | Morgan Deters |
2011-11-02 | Only print a shortlist of most-commonly-used options on option processing err... | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-10-28 | * ability to output NodeBuilders without first converting them to Nodes---use... | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-19 | fix bug #264: competition / other static library builds when readline isn't a... | Morgan Deters |
2011-10-04 | add a guard for history saving, to enable building without GNU history library | Morgan Deters |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-09-02 | * Changing pre-registration to be context dependent -- it is called from the ... | Dejan Jovanović |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-05-28 | include subversion information used for each build in the --show-config outpu... | Morgan Deters |
2011-05-13 | * fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-05-02 | Minor fixes to various parts of CVC4, including the removal of the uintptr_t ... | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
2011-04-15 | parser/driver fixes for last commit | Morgan Deters |