Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 ↵ | Morgan Deters | |
success, nonzero error | |||
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 | |