regression « test - compcert - CompCert fork with minor modifications for Vericert.

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