| Age | Commit message (Expand) | Author |
|---|
| 2012-02-20 | By default, ONLY enable symmetry breaker ONLY for QF_UF (both SMT-LIBv1 | Morgan Deters |
| 2012-02-16 | Last commit accidentally lacked r2778 and r2779 from integer2. I have manual... | Tim King |
| 2011-11-02 | Only print a shortlist of most-commonly-used options on option processing err... | Morgan Deters |
| 2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
| 2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
| 2011-09-29 | compatibility work, documentation | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-07-11 | merge from symmetry branch | Morgan Deters |
| 2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
| 2011-06-30 | Merging the playground branch upto r1957 into trunk. | Tim King |
| 2011-05-31 | This commit contains the code for allowing arbitrary equalities in the theory... | Tim King |
| 2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
| 2011-04-18 | This commit merges the branch arithmetic/propagation-again into trunk. | Tim King |
| 2011-04-10 | merge from replay branch | Morgan Deters |
| 2011-04-05 | Added options for setting the random decision frequency and random seed for t... | Tim King |
| 2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2011-03-30 | Moved the constructor for Options out of the header and into the cpp. For peo... | Tim King |
| 2011-03-30 | Added the command line flag --rewrite-arithmetic-equalities. This sets a sta... | Tim King |
| 2011-02-27 | - Adds a path for Theory to be passed a reference to Options. | Tim King |
| 2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
| 2010-11-08 | command-line flag to disable theory registration, also SMT-LIBv2 compliance (... | Morgan Deters |
| 2010-11-08 | cleanup, documentation, SMT-LIBv2 compliance | Morgan Deters |
| 2010-11-05 | Moving Options fiddling to options.h | Christopher L. Conway |
| 2010-10-24 | add a CVC4_UNDEFINED keyword, for intentionally undefined functions (like pri... | Morgan Deters |
| 2010-10-22 | Using Options in ParserBuilder and InteractiveShell | Christopher L. Conway |
| 2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
| 2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
| 2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
| 2010-10-07 | type checking for define-fun in production builds; related to (and might reso... | Morgan Deters |
| 2010-10-07 | SMT-LIBv2 (define-fun...) command now functional; does eager expansion at pre... | Morgan Deters |
| 2010-10-05 | parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti... | Morgan Deters |
| 2010-08-19 | UF theory bug fixes, code cleanup, and extra debugging output. | Morgan Deters |
| 2010-08-18 | more tests, configuration for UF | Morgan Deters |
| 2010-08-17 | Merge from "cc" branch: | Morgan Deters |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 2010-05-06 | Adding --strict-parsing option | Christopher L. Conway |
| 2010-05-04 | Disabling semantic checks in competition mode. | Christopher L. Conway |
| 2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | Morgan Deters |
| 2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
| 2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-27 | Adding --mmap option to use memory-mapped file input, which provides a margin... | Christopher L. Conway |
| 2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
| 2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
| 2010-02-18 | Adding --no-checking option to disable semantic checks in parser | Christopher L. Conway |
| 2010-02-16 | Adding --parse-only option | Christopher L. Conway |
| 2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
| 2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
| 2010-02-02 | Switched cnf conversion to go through CnfStream. | Tim King |
| 2010-01-30 | cnf conversion (variable-introducing), cleanups, fixes to minisat calling for... | Morgan Deters |
