Age | Commit message (Expand) | Author |
---|---|---|
2013-11-11 | Change exit status to be more consistent with other command-line tools: 0 suc... | Morgan Deters |
2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters |
2010-11-15 | minor tweaks to last commit, testing infrastructure | Morgan Deters |
2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |