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--	2456.v	1809	log plain
-rw-r--r--	2572.v-disabled	5523	log plain
-rw-r--r--	2652a.v-disabled	4620	log plain
-rw-r--r--	2652b.v-disabled	2811	log plain
-rw-r--r--	2814.v	124	log plain
-rw-r--r--	3010.v-disabled	121	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--	3248.v	421	log plain
-rw-r--r--	3263.v	9765	log plain
-rw-r--r--	3277.v	191	log plain
-rw-r--r--	3278.v	640	log plain
-rw-r--r--	3283.v	1019	log plain
-rw-r--r--	3295.v	3057	log plain
-rw-r--r--	3304.v	206	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--	3343.v	1296	log plain
-rw-r--r--	3345.v	5404	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--	3395.v	9725	log plain
-rw-r--r--	3459.v	873	log plain
-rw-r--r--	3463.v	285	log plain
-rw-r--r--	3478.v-disabled	244	log plain
-rw-r--r--	3626.v	191	log plain
-rw-r--r--	3655.v	351	log plain
-rw-r--r--	3753.v	113	log plain
-rw-r--r--	3754.v	9258	log plain
-rw-r--r--	3794.v	167	log plain
-rw-r--r--	3889.v	356	log plain
-rw-r--r--	3890.v	258	log plain
-rw-r--r--	3916.v	98	log plain
-rw-r--r--	3919.v-disabled	261	log plain
-rw-r--r--	3922.v-disabled	2634	log plain
-rw-r--r--	3926.v	1645	log plain
-rw-r--r--	3928.v-disabled	250	log plain
-rw-r--r--	3938.v	263	log plain
-rw-r--r--	3946.v	191	log plain
-rw-r--r--	3948.v	407	log plain
-rw-r--r--	743.v	218	log plain
-rw-r--r--	HoTT_coq_106.v	2023	log plain