Age | Commit message (Expand) | Author |
---|---|---|
2019-03-26 | Update copyright headers. | Aina Niemetz |
2019-03-18 | New C++: Remove redundant mkVar function. | Aina Niemetz |
2018-09-12 | Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES. (#2461) | Aina Niemetz |
2018-06-27 | Header for new C++ API. (#1697) | Aina Niemetz |