Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-04-21 | Goodbye CVC4, hello cvc5! (#6371) | Mathias Preiner | |
This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/. | |||
2019-04-24 | Dco fix (#2973) | Clark Barrett | |
2019-04-24 | CONTRIBUTING: Fix project leaders link. | Aina Niemetz | |
2019-04-22 | Add CONTRIBUTING file. (#2968) | Aina Niemetz | |