| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2011-04-10 | merge from replay branch | Morgan Deters |
| 2011-04-04 | Add documentation to Node and TNode (closes bug #201). | Morgan Deters |
| 2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
| 2011-03-03 | fix for bug #244, "Segfault if file cannot be found and --stats is on" | Morgan Deters |
| 2010-11-05 | Moving Options fiddling to options.h | Christopher L. Conway |
| 2010-11-04 | competition mode implies --no-checking | Morgan Deters |
| 2010-10-31 | small fix to debug segfaults | Morgan Deters |
