2019-11-11 | yoni206 | Update README according to the new website (#3438) | blob | commitdiff | raw |
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 |