| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |