2020-03-31 | Mathias Preiner | Switch to GitHub actions for CI (#4190) | blob | commitdiff | raw |
2020-03-30 | Mathias Preiner | Add coverage badge. (#4187) | blob | commitdiff | raw | diff to current |
2019-11-11 | yoni206 | Update README according to the new website (#3438) | blob | commitdiff | raw | diff to current |
2019-04-24 | Aina Niemetz | README: Remove project leaders, history. | blob | commitdiff | raw | diff to current |
2019-04-22 | Aina Niemetz | Add CONTRIBUTING file. (#2968) | blob | commitdiff | raw | diff to current |
2019-04-09 | Haniel Barbosa | Removing references to cvc4-bugs@... (#2945) | blob | commitdiff | raw | diff to current |
2019-04-09 | Aina Niemetz | Fix email address of the bugs email list and delete... | blob | commitdiff | raw | diff to current |
2019-01-22 | Aina Niemetz | New README (markdown). (#2797) | blob | commitdiff | raw | diff to current |