| Age | Commit message (Expand) | Author |
|---|
| 2013-05-17 | Better error on illegal (pop N); also more compliant SMT-LIB error messages i... | Morgan Deters |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-02-04 | driver::totalTime statistic is now reported correctly on crashes, too | Morgan Deters |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-10-02 | * re-enable some Z3 extended commands: | Morgan Deters |
| 2012-09-28 | Public interface review items: | Morgan Deters |
| 2012-09-22 | Separate public-facing and internal-facing interfaces to Statistics. | Morgan Deters |
| 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 |
