Age | Commit message (Expand) | Author |
2021-05-27 | Update proof namespaces (#6614) | Andrew Reynolds |
2021-05-13 | Add std::hash overloads for Node, TNode and TypeNode. (#6534) | Mathias Preiner |
2021-05-07 | Simplifications to expand definitions (#6487) | Andrew Reynolds |
2021-04-14 | Rename public and private headers in src/include. (#6352) | Aina Niemetz |
2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz |
2021-04-09 | Rename CVC4_ macros to CVC5_. (#6327) | Aina Niemetz |
2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz |
2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz |
2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz |
2021-03-02 | Clean up includes to reduce compile times (#6031) | Gereon Kremer |
2020-11-16 | Improve accuracy of resource limitation (#4763) | Gereon Kremer |
2020-10-20 | (proof-new) Fixes for proofs in rewriter (#5307) | Andrew Reynolds |
2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
2020-09-02 | (proof-new) Updates to builtin proof checker (#4962) | Andrew Reynolds |
2020-07-14 | (proof-new) Skeleton proof support in the Rewriter (#4730) | Andrew Reynolds |
2020-06-16 | Update copyright headers. | Aina Niemetz |
2020-04-03 | Update theory rewriter ownership, add stats to strings (#4202) | Andres Noetzli |
2020-04-01 | Initialize theory rewriters in theories (#4197) | Andres Noetzli |
2020-03-11 | Introduce tables in the rewriter (#3742) | Andres Noetzli |
2019-12-09 | Make theory rewriters non-static (#3547) | Andres Noetzli |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-08-07 | Delete functions instead of using CVC4_UNDEFINED (#1794) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-01-10 | Adding regression test scrubbing. | Tim King |
2016-04-20 | update from the master | PaulMeng |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-21 | Adding the changes needed to delete rewriter attributes. This includes being... | Tim King |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-06 | * Fix some regressions' expected outputs. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-14 | * removing rewriteEquality from the rewriter | Dejan Jovanović |
2012-05-28 | Added some BV rewrites, fixed bugs in array theory, made ite simp work with BV | Clark Barrett |
2011-10-17 | Sharing work | Dejan Jovanović |
2011-09-28 | variety of visibility fixes (should clean up some of the many warnings on Mac... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |