Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix #7323: coqchk puts polymorphic univs of inductive in global env | 2018-05-24 | |
* | Fix #7327: coqchk subtyping of polymorphic constants | 2018-04-23 | |
* | Fix #6798: coqchk ignores ugraph when comparing constant instances | 2018-04-20 | |
* | Add test-suite checks for coqchk with constraints | 2017-05-30 | |
* | new test for coqchk | 2014-12-26 |