2019-04-22 | Aina Niemetz | Add CONTRIBUTING file. (#2968) | blob | commitdiff | raw |
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 |