2020-04-01 | Aina Niemetz | Rename checkValid/query to checkEntailed. (#4191) | 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-02-29 | Dejan Jovanović | fixing bug310 | blob | commitdiff | raw | diff to current |