| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-05-24 | Move proof utilities to src/proof/ (#6611) | Andrew Reynolds | |
| This moves all generic proof utilites from src/expr/ and src/theory/ to src/proof/. It also changes the include for term conversion proof generator to conv_proof_generator in preparation to rename this utility on a followup PR (to avoid confusion with the use of "Term"). | |||
| 2021-04-14 | Rename public and private headers in src/include. (#6352) | Aina Niemetz | |
| 2021-04-12 | Refactor and update copyright headers. (#6316) | Aina Niemetz | |
| 2021-04-09 | Rename CVC4__ header guards to CVC5__. (#6326) | Aina Niemetz | |
| 2021-04-01 | Rename namespace CVC5 to cvc5. (#6258) | Aina Niemetz | |
| 2021-03-31 | Rename namespace CVC4 to CVC5. (#6249) | Aina Niemetz | |
| 2021-03-09 | Update copyright headers to 2021. (#6081) | Aina Niemetz | |
| 2021-03-03 | More cleanup of includes to reduce compilation times (#6037) | Gereon Kremer | |
| Similar to #6031, this PR implements suggestions from iwyu to reduce the number of includes in header files by introducing forward declarations and moving includes to source files. | |||
| 2020-09-22 | Update copyright header script to support CMake and Python files (#5067) | Mathias Preiner | |
| This PR updates the update-copyright.pl script to also update/add copyright headers to CMake specific files. It further fixes a small typo in the header. | |||
| 2020-06-16 | Update copyright headers. | Aina Niemetz | |
| 2020-06-01 | (proof-new) Proof step buffer utilities (#4533) | Andrew Reynolds | |
| This class is used for delaying proof node creation until it is necessary. | |||
 |
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