Age | Commit message (Expand) | Author |
---|---|---|
2019-09-04 | Remove duplicate regression tests. (#3227) | Mathias Preiner |
2019-03-28 | Fix issues in cvc parser (#2901) | Andrew Reynolds |
2018-03-21 | Move regression tests to single Makefile.am (#1658) | Andres Noetzli |
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds |