Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Enrich test file 4720.v with a compilation test of the extracted code | 2017-07-26 | |
* | Extraction: fix bugs 5177 and 5240 (and also indirectly bug 4720) | 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 | 2017-07-26 | |
* | Extraction: fix bugs 5177 and 5240 (and also indirectly bug 4720) | 2017-07-20 |