2013-09-30 | Liana Hadarean | merged golden | blob | commitdiff | raw |
2013-06-03 | Morgan Deters | Merge tag 'casc24' | blob | commitdiff | raw |
2013-05-22 | Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw |
2013-05-20 | Morgan Deters | Merge branch '1.2.x' | blob | commitdiff | raw |
2013-05-20 | Morgan Deters | Update THANKS to mention David Cok's contributions. | blob | commitdiff | raw |
2012-09-05 | Morgan Deters | add a THANKS file for listing external source code... | blob | commitdiff | raw | diff to current |