Age | Commit message (Expand) | Author |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
2012-10-14 | fix #line number warnings (sorry!) | Morgan Deters |
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-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-04-28 | New LogicInfo functionality. | Morgan Deters |
2012-04-28 | undo, again | Morgan Deters |
2012-04-28 | adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration m... | Morgan Deters |
2012-04-27 | undo previous commit (as it will break a number of things without additional ... | Morgan Deters |
2012-04-27 | adding THEORY_QUANTIFIERS and THEORY_REWRITERULES to the theory enumeration m... | Morgan Deters |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
2011-06-30 | only use theory registration if (1) a theory requests it, or (2) if there's m... | Morgan Deters |
2011-04-25 | Weekend work. The main points: | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |
2010-12-16 | minor fixes for correct doxygen output | 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-03-30 | Highlights of this commit are: | Morgan Deters |