| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-28 | Relax the pattern complexity test | Jason Gross | |
| c.f. discussion at https://github.com/coq/coq/pull/11177#issuecomment-559139477 | |||
| 2019-11-26 | Update test-suite/complexity/pattern.v | Jason Gross | |
| Co-Authored-By: Hugo Herbelin <herbelin@users.noreply.github.com> | |||
| 2019-11-25 | Add a complexity test for `pattern` | Jason Gross | |
| This is to hopefully prevent regressions on https://github.com/coq/coq/issues/11150 and https://github.com/coq/coq/issues/6502. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |