Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-08-27 | New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384) | Aina Niemetz | |
…underlying type. | |||
2018-08-23 | New C++ API: Add checks for kind arguments. (#2369) | Aina Niemetz | |
This should hopefully also take care of the open coverity issues for cvc4cpp.cpp. | |||
2018-06-28 | New C++ API: Implementation of Result. (#2112) | Aina Niemetz | |
2018-06-27 | Header for new C++ API. (#1697) | Aina Niemetz | |