Age | Commit message (Expand) | Author |
---|---|---|
2020-03-31 | Rename checkValid/query to checkEntailed. (#4191) | Aina Niemetz |
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2013-01-28 | Fix the regression test for bug 486, and enable it | Morgan Deters |
2013-01-23 | partially address bug 486: allow some model inspection of quantifiers | Morgan Deters |