Age | Commit message (Expand) | Author |
---|---|---|
2019-12-12 | Use the node-level datatypes API (#3556) | Andrew Reynolds |
2019-11-09 | Fixes in relations related to datatypes not passed by reference (#3449) | Andrew Reynolds |
2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-07-07 | Use new copyright header format. | Mathias Preiner |
2016-10-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-09-23 | fixed a few bugs | Paul Meng |
2016-04-20 | add utils class for relational theory | PaulMeng |