2017-07-21 | Tim King | Merge branch 'master' into cleanup-regexp | blob | commitdiff | raw |
2017-07-21 | Tim King | Moving from the gnu extensions for hash maps to the... | blob | commitdiff | raw |
2017-07-07 | Mathias Preiner | Update copyright headers. | blob | commitdiff | raw | diff to current |
2016-04-20 | PaulMeng | update from the master | blob | commitdiff | raw | diff to current |
2016-04-09 | Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 | blob | commitdiff | raw | diff to current |
2016-04-04 | Tim King | Updating the copyright headers and scripts. | blob | commitdiff | raw | diff to current |
2016-03-23 | guykatzz | Merge pull request #82 from CVC4/master_for_merge | blob | commitdiff | raw | diff to current |
2016-03-23 | Guy | squash-merge from proof branch | blob | commitdiff | raw | diff to current |