| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-10-16 | Fix a De Bruijn bug in the computation of term relevance in the kernel. | Pierre-Marie Pédrot |
| 2019-09-25 | Adding documentation for the move of sections data to kernel. | Pierre-Marie Pédrot |
| 2019-08-30 | Adding a critical-bugs entry. Description from Hugo Herbelin. | Pierre-Marie Pédrot |
| 2019-04-29 | Merge PR #9925: [vm] Protect accu and coq_env | Maxime Dénès |
| 2019-04-15 | Update critical-bugs | Pierre Roux |
| 2019-04-05 | [native compiler] Fix critical bug with primitive projections | Maxime Dénès |
| 2019-03-26 | Fix reproduction info for some past critical bugs | Gaëtan Gilbert |
| 2019-03-26 | Incorrect details in critical bug info (prop_set_proof_irrelevance) | Gaëtan Gilbert |
| 2018-09-13 | Add entry for universe polymorphism critical bug | Gaëtan Gilbert |
| 2018-06-25 | Critical bugs: added #3243 and Gonthier's bug in lazy machine. | Hugo Herbelin |
| 2018-06-15 | Very first try at listing the critical bugs of the history of Coq. | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |