| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-04 | New C++ API: Add checks for Sorts. (#2519) | Aina Niemetz |
| 2018-09-23 | New C++ API: Add checks for Terms/OpTerms. (#2455) | Aina Niemetz |
| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback