2013-11-11 | Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw |
2013-11-11 | Morgan Deters | Change exit status to be more consistent with other... | blob | commitdiff | raw |
2013-09-30 | Liana Hadarean | merged golden | blob | commitdiff | raw | diff to current |
2013-08-26 | Kshitij Bansal | Merge branch '1.2.x' | blob | commitdiff | raw | diff to current |
2013-07-17 | Morgan Deters | Fix bug 516; include some bug testcases. | blob | commitdiff | raw | diff to current |