| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2020-09-16 | Dump commands in internal code using command printing functions. (#5040) | Abdalrhman Mohamed | |
| This is work towards migrating commands to the new API. Internal code that creates command objects just for dumping is replaced with direct calls to functions that print the those commands. | |||
 |
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