Age | Commit message (Expand) | Author |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-05 | Add SmtGlobals Class | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-08-21 | Fix bug 649 (errors to regular output channel) | Kshitij Bansal |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-10-08 | Remove private header from public driver. | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
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 |