Age | Commit message (Expand) | Author |
---|---|---|
2018-09-18 | New C++ API: Introduce new macro and exception for API checks. (#2486) | Aina Niemetz |
2018-08-08 | Plug solver API object into parser. (#2240) | Aina Niemetz |
2018-08-07 | Delete functions instead of using CVC4_UNDEFINED (#1794) | Andres Noetzli |
2018-08-01 | New C++ API: Fixed ownership of options object. (#2243) | Aina Niemetz |
2018-07-23 | New C++ API: declare-datatype. (#2166) | Aina Niemetz |
2018-07-06 | New C++ API: Implementation of Solver class: Sort handling. (#2143) | Aina Niemetz |
2018-06-27 | Header for new C++ API. (#1697) | Aina Niemetz |