2014-04-01 | Tim King | Merge branch '1.3.x' | blob | commitdiff | raw |
2014-03-26 | Morgan Deters | Merge branch '1.3.x' | blob | commitdiff | raw |
2014-03-11 | Morgan Deters | Merge branch '1.3.x' | blob | commitdiff | raw |
2014-03-11 | Morgan Deters | Merge branch '1.3.x' | blob | commitdiff | raw |
2014-03-07 | Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 | blob | commitdiff | raw |
2014-03-05 | Kshitij Bansal | Merge pull request #14 from kbansal/sets-parserchanges | blob | commitdiff | raw |
2014-03-05 | Kshitij Bansal | Array smtlib compliance tests | blob | commitdiff | raw |
2012-09-26 | Morgan Deters | bug #398 test (bug was resolved last night), and a... | blob | commitdiff | raw | diff to current |