2014-11-27 | Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 | blob | commitdiff | raw |
2014-11-17 | Liana Hadarean | Resource-limiting work. | blob | commitdiff | raw |
2014-07-10 | Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... | blob | commitdiff | raw | diff to current |
2014-06-26 | Morgan Deters | Merge tag 'smtcomp2014-resubmission' | blob | commitdiff | raw | diff to current |
2014-06-22 | Morgan Deters | Merge tag 'smtcomp2014-application' | blob | commitdiff | raw | diff to current |
2014-06-19 | Morgan Deters | Minor fixes, spelling etc. | blob | commitdiff | raw | diff to current |
2014-06-16 | Morgan Deters | Minor fixes, spelling etc. | blob | commitdiff | raw | diff to current |
2013-04-02 | Morgan Deters | Fix get-authors script to not extract email addresses... | blob | commitdiff | raw | diff to current |