| Age | Commit message (Expand) | Author |
|---|
| 2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
| 2020-09-02 | Remove #line directives from generated files. (#5005) | Gereon Kremer |
| 2020-06-16 | Update copyright headers. | Aina Niemetz |
| 2020-04-05 | Add safe_print() support for Kind enum (#4213) | Andres Noetzli |
| 2019-10-15 | Fix line numbers in templates (#3391) | Andres Noetzli |
| 2019-10-10 | Make order of theories explicit in the source code. (#3379) | Aina Niemetz |
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-03-06 | Make statistics output consistent. (#1647) | Mathias Preiner |
| 2017-12-10 | Fix issue with mkConst/getConst of TypeConstant (#1439) | Andres Noetzli |
| 2017-09-17 | Moving the CVC4_PUBLIC attribute to the beginning of operator++. (#1107) | Tim King |
| 2017-09-14 | Add missing CVC4_PUBLIC in kind_template (#1078) | makaimann |
| 2017-08-14 | Move function definitions from kind.h to kind.cpp (#217) | Andres Noetzli |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2016-04-20 | update from the master | PaulMeng |
| 2015-12-24 | Miscellaneous fixes | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 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 |
