| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing complexity tests for #4076. |  Maxime Dénès | 2015-02-26 |
| | | |||
| * | Compensating 6fd763431 on postponing subtyping evar-evar problems. |  Hugo Herbelin | 2015-02-23 |
| Pushing pending problems had the side-effect of later solving them in the opposite order as they arrived, resulting on different complexity (see e.g. #4076). We now take care of pushing them in reverse order so that they are treated in the same order. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |