| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2010-10-31 | maximize stack limit, handle SEGV signals on an alternate signal stack, and t... | Morgan Deters |
| 2010-10-29 | minor fixes as a result of review of Chris's getType() rewrite; also fix some... | Morgan Deters |
| 2010-10-28 | Changing NodeBuilder::debugCheckType() to maybeCheckType() | Christopher L. Conway |
| 2010-10-26 | Cleaning up some header files | Christopher L. Conway |
| 2010-10-25 | for static linking of driver binary, list libmain.a first (fixes link errors ... | Morgan Deters |
| 2010-10-24 | Adding unit test for InteractiveShell | Christopher L. Conway |
| 2010-10-23 | Adding Parser::setInput and using it in InteractiveShell (Fixes: #225) | Christopher L. Conway |
| 2010-10-22 | Saving state between lines in interactive mode (Fixes: #223) | Christopher L. Conway |
| 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-21 | * Option --no-type-checking now disables type checks in SmtEngine | Christopher L. Conway |
| 2010-10-20 | Changing --no-early-type-checking to --no-type-checking | Christopher L. Conway |
| 2010-10-20 | Adding detection of TTY vs. piped input for interactive mode | Christopher L. Conway |
| 2010-10-20 | Adding support for interactive mode | Christopher L. Conway |
| 2010-10-12 | with --stats, statistics are dumped for memouts and (normal) exceptions. | Morgan Deters |
| 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-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
| 2010-10-02 | dump statistics on abnormal output: unexpected exceptions, SEGV, ILL, memout... | Morgan Deters |
| 2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
| 2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
| 2010-09-21 | remove assertion in TNode destructor and ensure all TNode methods check rc > ... | Morgan Deters |
| 2010-09-21 | fix statistics-registry-related memory leaks | Morgan Deters |
| 2010-09-13 | statistics are now printed on timeout (SIGXCPU) and SIGINT if --stats is given | Morgan Deters |
| 2010-08-19 | UF theory bug fixes, code cleanup, and extra debugging output. | Morgan Deters |
| 2010-08-17 | Merge from "cc" branch: | Morgan Deters |
| 2010-07-06 | Fixed exit status for competition mode. | Tim King |
| 2010-07-06 | add Configuration::isCompetitionBuild() and some main driver fixes | Morgan Deters |
