Age | Commit message (Expand) | Author |
---|---|---|
2012-08-21 | add some incremental in-tree regressions | Morgan Deters |
2012-06-13 | adding some regressions to the usual regressions runs; several recently-fixed... | Morgan Deters |
2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters |