2015-04-21 | Clark Barrett | Fix file permissions | blob | commitdiff | raw |
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-09-13 | Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw | diff to current |
2013-09-09 | Andrew Reynolds | Another minor fix for datatypes to repair my previous... | blob | commitdiff | raw | diff to current |