Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Enrich test file 4720.v with a compilation test of the extracted code | Pierre Letouzey | 2017-07-26 |
* | Extraction: fix bugs 5177 and 5240 (and also indirectly bug 4720) | Pierre Letouzey | 2017-07-20 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Enrich test file 4720.v with a compilation test of the extracted code | Pierre Letouzey | 2017-07-26 |
* | Extraction: fix bugs 5177 and 5240 (and also indirectly bug 4720) | Pierre Letouzey | 2017-07-20 |