Age | Commit message (Expand) | Author |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-05-21 | main() no longer catches non-CVC4 exceptions. This means on memout and other... | 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-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-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-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-15 | parser/driver fixes for last commit | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | 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-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-23 | Adding Parser::setInput and using it in InteractiveShell (Fixes: #225) | 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-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-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-07-06 | Fixed exit status for competition mode. | Tim King |
2010-07-06 | add Configuration::isCompetitionBuild() and some main driver fixes | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-06-22 | Made ~Stat() virtual. Added some additional statistics. And added some docume... | Tim King |
2010-06-18 | Merging the statistics branch into the main trunk. I'll go over how to use th... | Tim King |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-06-03 | Implementing input from stdin (Fixes: #144) | Christopher L. Conway |
2010-05-27 | Adding NodeManager::prepareToBeDestroyed() (Fixes: #128) | Christopher L. Conway |
2010-05-12 | Adding ParserBuilder, reducing visibility of Parser and Input constructors | Christopher L. Conway |
2010-05-06 | Adding --strict-parsing option | Christopher L. Conway |
2010-05-04 | Disabling semantic checks in competition mode. | Christopher L. Conway |
2010-05-03 | main driver supports .smt2 input, added an smt2 regression (currently broken,... | Morgan Deters |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |