2019-09-25 | Mathias Preiner | Use separate CMake project for CVC4 examples. (#3196) | blob | commitdiff | raw |
2019-03-26 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw | diff to current |
2018-06-25 | Aina Niemetz | Updated copyright headers. | blob | commitdiff | raw | diff to current |
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 |
2015-12-23 | Clark Barrett | Added extract.cpp example | blob | commitdiff | raw | diff to current |