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