opened « bugs « test-suite - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	2652a.v-disabled	4620	log plain
-rw-r--r--	2652b.v-disabled	2811	log plain
-rw-r--r--	HoTT_coq_106.v	2030	log plain
-rw-r--r--	bug_1338.v-disabled	332	log plain
-rw-r--r--	bug_1596.v	7349	log plain
-rw-r--r--	bug_1615.v	217	log plain
-rw-r--r--	bug_1671.v	322	log plain
-rw-r--r--	bug_1811.v	201	log plain
-rw-r--r--	bug_2572.v-disabled	5523	log plain
-rw-r--r--	bug_2904.v	260	log plain
-rw-r--r--	bug_3010.v-disabled	121	log plain
-rw-r--r--	bug_3092.v	238	log plain
-rw-r--r--	bug_3166.v	2527	log plain
-rw-r--r--	bug_3186.v-disabled	59	log plain
-rw-r--r--	bug_3248.v	421	log plain
-rw-r--r--	bug_3277.v	198	log plain
-rw-r--r--	bug_3278.v	640	log plain
-rw-r--r--	bug_3283.v	1019	log plain
-rw-r--r--	bug_3295.v	3069	log plain
-rw-r--r--	bug_3304.v	206	log plain
-rw-r--r--	bug_3311.v	344	log plain
-rw-r--r--	bug_3312.v	192	log plain
-rw-r--r--	bug_3343.v	1303	log plain
-rw-r--r--	bug_3345.v	5411	log plain
-rw-r--r--	bug_3357.v	460	log plain
-rw-r--r--	bug_3363.v	479	log plain
-rw-r--r--	bug_3370.v	348	log plain
-rw-r--r--	bug_3424.v	975	log plain
-rw-r--r--	bug_3459.v	873	log plain
-rw-r--r--	bug_3463.v	291	log plain
-rw-r--r--	bug_3478.v-disabled	244	log plain
-rw-r--r--	bug_3626.v	191	log plain
-rw-r--r--	bug_3655.v	358	log plain
-rw-r--r--	bug_3794.v	168	log plain
-rw-r--r--	bug_3889.v	356	log plain
-rw-r--r--	bug_3919.v-disabled	261	log plain
-rw-r--r--	bug_3922.v-disabled	2634	log plain
-rw-r--r--	bug_3928.v-disabled	250	log plain
-rw-r--r--	bug_3938.v	270	log plain
-rw-r--r--	bug_3946.v	191	log plain
-rw-r--r--	bug_4701.v	945	log plain
-rw-r--r--	bug_4721.v	567	log plain
-rw-r--r--	bug_4728.v	1915	log plain
-rw-r--r--	bug_4755.v	1319	log plain
-rw-r--r--	bug_4771.v	267	log plain
-rw-r--r--	bug_4778.v	1195	log plain
-rw-r--r--	bug_4813.v	170	log plain
-rw-r--r--	bug_5996.v	563	log plain
-rw-r--r--	bug_6393.v	404	log plain
-rw-r--r--	bug_6602.v	206	log plain