coq - The formal proof system

Age	Commit message (Collapse)	Author
2019-04-29	Merge PR #9925: [vm] Protect accu and coq_env	Maxime Dénès
	Ack-by: Zimmi48 Reviewed-by: maximedenes Ack-by: proux01 Reviewed-by: vbgl
2019-04-15	Update critical-bugs	Pierre Roux

2019-04-05	[native compiler] Fix critical bug with primitive projections	Maxime Dénès
	Since e1e7888, stuck projections were not computed correctly. Fixes #9684
2019-03-26	Fix reproduction info for some past critical bugs	Gaëtan Gilbert
	- test-suite/bugs/closed/xx.v renamed to .../bug_xx.v - test-suite/failure/inductive4.v is now .../inductive.v - repro for #4157 now added to the repo (it was in an unmerged commit on @herbelin's repo) - commit message of 244d7a9aa contains a repro for its bug (I didn't bother adding to the test suite as a return of the bug could just as well use different strings so the specific repro wouldn't test anything useful)
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
	Both reminded by Enrico.
2018-06-15	Very first try at listing the critical bugs of the history of Coq.	Hugo Herbelin
	I let open several questions about fixes to the kernel which maybe were not critical. I skipped what seemed to have been bugs in beta-releases. Need double-checks, decision about the format, etc.