opened « bugs « test-suite - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	1338.v-disabled	332	log plain
-rw-r--r--	1501.v	2587	log plain
-rw-r--r--	1596.v	7378	log plain
-rw-r--r--	1671.v	322	log plain
-rw-r--r--	1811.v	200	log plain
-rw-r--r--	2951.v	38	log plain
-rw-r--r--	3010.v-disabled	121	log plain
-rw-r--r--	3045.v	1276	log plain
-rw-r--r--	3068.v	1490	log plain
-rw-r--r--	3071.v	79	log plain
-rw-r--r--	3092.v	238	log plain
-rw-r--r--	3100.v	242	log plain
-rw-r--r--	3166.v	2520	log plain
-rw-r--r--	3186.v-disabled	59	log plain
-rw-r--r--	3209.v	718	log plain
-rw-r--r--	3230.v	372	log plain
-rw-r--r--	3258.v	1047	log plain
-rw-r--r--	3263.v	9733	log plain
-rw-r--r--	3277.v	188	log plain
-rw-r--r--	3278.v	633	log plain
-rw-r--r--	3283.v	1019	log plain
-rw-r--r--	3295.v	3057	log plain
-rw-r--r--	3298.v	508	log plain
-rw-r--r--	3304.v	203	log plain
-rw-r--r--	3311.v	337	log plain
-rw-r--r--	3312.v	185	log plain
-rw-r--r--	3320.v	60	log plain
-rw-r--r--	3326.v	384	log plain
-rw-r--r--	3343.v	1296	log plain
-rw-r--r--	3345.v	5372	log plain
-rw-r--r--	3357.v	321	log plain
-rw-r--r--	3363.v	479	log plain
-rw-r--r--	3370.v	341	log plain
-rw-r--r--	3383.v	506	log plain
-rw-r--r--	3388.v	1295	log plain
-rw-r--r--	3395.v	9693	log plain
-rw-r--r--	3408.v	7649	log plain
-rw-r--r--	3410.v	67	log plain
-rw-r--r--	3417.v	83	log plain
-rw-r--r--	3459.v	302	log plain
-rw-r--r--	3461.v	90	log plain
-rw-r--r--	3463.v	285	log plain
-rw-r--r--	3467.v	91	log plain
-rw-r--r--	3478.v-disabled	244	log plain
-rw-r--r--	3487.v	260	log plain
-rw-r--r--	3490.v	1521	log plain
-rw-r--r--	3491.v	99	log plain
-rw-r--r--	3509.v	533	log plain
-rw-r--r--	3510.v	1147	log plain
-rw-r--r--	3554.v	55	log plain
-rw-r--r--	3562.v	39	log plain
-rw-r--r--	3618.v	3607	log plain
-rw-r--r--	3626.v	191	log plain
-rw-r--r--	3628.v	196	log plain
-rw-r--r--	3655.v	127	log plain
-rw-r--r--	3657.v	728	log plain
-rw-r--r--	743.v	218	log plain
-rw-r--r--	HoTT_coq_106.v	2002	log plain
-rw-r--r--	HoTT_coq_120.v	5392	log plain