Age | Commit message (Expand) | Author |
2012-11-15 | Fix for bug 447. | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-06-08 | Extend Printer infrastructure also to the "Result" class, meaning that differ... | Morgan Deters |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2010-10-20 | fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug... | Morgan Deters |
2010-10-12 | check last result in (get-assignment); some context cleanup | Morgan Deters |
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-10-09 | Model generation for arith, boolean, and uf theories via | Morgan Deters |
2010-10-04 | remove/shuffle some #include dependencies; fix some documentation; apply codi... | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
2010-02-04 | minor cleanup; give the main driver a different exit code for SAT-INVALID/UNS... | Morgan Deters |
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
2010-02-03 | Addressed many of the concerns of bug 10 (build system code review). | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-03 | parsing/expr/command/result/various other fixes | Morgan Deters |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |