Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix #7631: native_compute fails to compile an example in Coq 8.8 | Maxime Dénès | 2018-06-04 |
Dependency analysis for separate compilation was not iterated properly on rel_context and named_context. |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix #7631: native_compute fails to compile an example in Coq 8.8 | Maxime Dénès | 2018-06-04 |
Dependency analysis for separate compilation was not iterated properly on rel_context and named_context. |