Age | Commit message (Expand) | Author |
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 |
2010-07-06 | fix crash on command line parsing | Morgan Deters |
2010-07-05 | better exception wording, assertion-handling in multiple-exception case; reso... | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-07-02 | * Added white-box TheoryEngine test that tests the rewriter | Morgan Deters |
2010-06-30 | Adding documentation for --strict-parsing (Closes: #166) | Christopher L. Conway |
2010-06-30 | fix to switch fall-through; stats now off by default regardless of -d debuggi... | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |
2010-06-29 | add --default-expr-depth=N command line parameter, expose setdepth() to publi... | 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-15 | fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas) | Morgan Deters |
2010-06-15 | remove warnings about unknown #pragma GCC diagnostic on older compilers | Morgan Deters |
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-29 | First draft implementation of SMT v2 parser | Christopher L. Conway |
2010-04-28 | Refactoring Input/Parser code to support external manipulation of the parser ... | Christopher L. Conway |
2010-04-06 | * Add some protected ContextObj accessors for ContextObj-derived classes: | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-02 | Fixing double delete bug in main.cpp | Christopher L. Conway |
2010-04-01 | Parser tweaks to address review | Christopher L. Conway |
2010-04-01 | cvc4 --show-config now gives library version | Morgan Deters |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |