| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-05-13 | Add std::hash overloads for Node, TNode and TypeNode. (#6534) | Mathias Preiner | |
| Eliminates NodeHashFunction, TNodeHashFunction and TypeNodeHashFunction. | |||
| 2021-04-12 | Refactor and update copyright headers. (#6316) | 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-10-04 | Remove subtyping for sets theory (#5179) | mudathirmahgoub | |
| This PR removes subtyping for sets theory due to issues like #4502, #4507 and #4631. Changes: Add SingletonOp for singletons to specify the type of the single element in the set. Add mkSingleton to the solver to enable the user to pass the sort of the single element. Update smt and cvc parsers to use mkSingleton when the kind is SINGLETON | |||
 |
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