coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	Document as critical.	Guillaume Melquiond
2021-02-17	Add an entry to file critical-bugs.	Guillaume Melquiond
2020-11-20	Make sure accumulators do not exceed the minor heap (partly fix #11170).	Guillaume Melquiond
2020-11-12	Add documentation about the soundness bug.	Pierre-Marie Pédrot
2020-06-09	Update dev/doc/critical-bugs	Pierre Roux
2020-01-22	Fix #11421 computation of Set+2	Gaëtan Gilbert
2019-12-27	Add critical-bugs entry, tests-suite file, and code comment.	Guillaume Melquiond
2019-11-26	Fix #11039: proof of False with template poly and nonlinear universes	Gaëtan Gilbert
2019-11-07	The "univ poly can capture global univs" checker side bug is fixed	Gaëtan Gilbert
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