2021-04-21 | Mathias Preiner | Goodbye CVC4, hello cvc5! (#6371) | blob | commitdiff | raw |
2019-04-24 | Clark Barrett | Dco fix (#2973) | blob | commitdiff | raw | diff to current |
2019-04-24 | Aina Niemetz | CONTRIBUTING: Fix project leaders link. | blob | commitdiff | raw | diff to current |
2019-04-22 | Aina Niemetz | Add CONTRIBUTING file. (#2968) | blob | commitdiff | raw | diff to current |