2014-11-10 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw |
2014-11-07 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw |
2014-11-07 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw |
2014-11-07 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw |
2014-11-05 | Morgan Deters | Merge branch '1.4.x' | blob | commitdiff | raw |
2014-10-23 | Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... | blob | commitdiff | raw |
2013-11-11 | Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw | diff to current |
2013-11-11 | Morgan Deters | Change exit status to be more consistent with other... | blob | commitdiff | raw | diff to current |
2012-10-11 | Morgan Deters | Fix bug 421, again, and add a second, independent test... | blob | commitdiff | raw | diff to current |