| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-02-24 | Enable -Werror. (#5969) | Mathias Preiner |
| 2021-02-23 | Add interface to TheoryState for sort inference and facts (#5967) | Andrew Reynolds |
| 2021-02-02 | Cleanup some includes (#5847) | Andrew Reynolds |
| 2021-01-27 | (proof-new) Improvements to quantifiers engine and instantiate interfaces (#5... | Andrew Reynolds |
| 2021-01-26 | Refactor quantifiers engine initialization (#5813) | Andrew Reynolds |
| 2020-11-12 | (proof-new) Proofs for skolemization (#5339) | Andrew Reynolds |
| 2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner |
| 2020-06-16 | Update copyright headers. | Aina Niemetz |
| 2019-12-12 | Use the node-level datatypes API (#3556) | Andrew Reynolds |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2017-11-24 | (Refactor) Instantiate utility (#1387) | Andrew Reynolds |
| 2017-11-01 | (Refactor) Split term util (#1303) | Andrew Reynolds |
 |
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