regression « test - debian-compcert - Debian packaging for CompCert

Mode	Name	Size
-rw-r--r--	Makefile	1933	log plain
d---------	Results	1454	log plain
-rw-r--r--	annot1.c	1302	log plain
-rw-r--r--	attribs1.c	1394	log plain
-rw-r--r--	bitfields1.c	536	log plain
-rw-r--r--	bitfields2.c	481	log plain
-rw-r--r--	bitfields3.c	200	log plain
-rw-r--r--	bitfields4.c	728	log plain
-rw-r--r--	bitfields5.c	423	log plain
-rw-r--r--	bitfields6.c	245	log plain
-rw-r--r--	bitfields7.c	258	log plain
-rw-r--r--	bitfields8.c	415	log plain
-rw-r--r--	bool.c	474	log plain
-rw-r--r--	builtins-arm.c	735	log plain
-rw-r--r--	builtins-ia32.c	832	log plain
-rw-r--r--	builtins-powerpc.c	1618	log plain
-rw-r--r--	casts1.c	137	log plain
-rw-r--r--	casts2.c	215	log plain
-rw-r--r--	casts3.c	1103	log plain
-rw-r--r--	char1.c	241	log plain
-rwxr-xr-x	check-pragmas	365	log plain
-rw-r--r--	commaprec.c	91	log plain
-rw-r--r--	compar.c	1519	log plain
-rw-r--r--	expr1.c	237	log plain
-rw-r--r--	expr2.c	78	log plain
-rw-r--r--	expr3.c	94	log plain
-rw-r--r--	expr4.c	88	log plain
-rw-r--r--	expr5.c	136	log plain
-rw-r--r--	expr6.c	855	log plain
-rw-r--r--	extern1.c	76	log plain
-rw-r--r--	floats-basics.c	2019	log plain
-rw-r--r--	floats.c	898587	log plain
-rw-r--r--	funct1.c	124	log plain
-rw-r--r--	funct2.c	63	log plain
-rw-r--r--	funct3.c	174	log plain
-rw-r--r--	funptr1.c	250	log plain
-rw-r--r--	funptr2.c	337	log plain
-rw-r--r--	init1.c	138	log plain
-rw-r--r--	init2.c	159	log plain
-rw-r--r--	init3.c	142	log plain
-rw-r--r--	init4.c	186	log plain
-rw-r--r--	initializers.c	2648	log plain
-rw-r--r--	instrsel.c	3541	log plain
-rw-r--r--	int32.c	2289	log plain
-rw-r--r--	int64.c	2659	log plain
-rw-r--r--	packedstruct1.c	2799	log plain
-rw-r--r--	packedstruct2.c	1183	log plain
-rw-r--r--	pragmas.c	1157	log plain
-rw-r--r--	ptrs1.c	68	log plain
-rw-r--r--	ptrs2.c	479	log plain
-rw-r--r--	seqops.c	2533	log plain
-rw-r--r--	sizeof1.c	964	log plain
-rw-r--r--	sizeof2.c	154	log plain
-rw-r--r--	struct1.c	100	log plain
-rw-r--r--	struct10.c	49	log plain
-rw-r--r--	struct11.c	461	log plain
-rw-r--r--	struct2.c	88	log plain
-rw-r--r--	struct3.c	238	log plain
-rw-r--r--	struct4.c	166	log plain
-rw-r--r--	struct5.c	544	log plain
-rw-r--r--	struct6.c	179	log plain
-rw-r--r--	struct7.c	1252	log plain
-rw-r--r--	struct8.c	616	log plain
-rw-r--r--	struct9.c	186	log plain
-rw-r--r--	switch.c	656	log plain
-rw-r--r--	types1.c	247	log plain
-rw-r--r--	varargs1.c	248	log plain
-rw-r--r--	volatile1.c	390	log plain
-rw-r--r--	volatile2.c	1584	log plain
-rw-r--r--	volatile3.c	1321	log plain