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

Mode	Name	Size
-rw-r--r--	Makefile	1175	log stats plain
d---------	Results	615	log stats plain
-rw-r--r--	annot1.c	372	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--	builtins.c	1399	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
-rwxr-xr-x	check-pragmas	365	log stats plain
-rw-r--r--	commaprec.c	91	log stats plain
-rw-r--r--	expr1.c	259	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--	extern1.c	76	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--	init1.c	138	log stats plain
-rw-r--r--	init2.c	159	log stats plain
-rw-r--r--	init3.c	95	log stats plain
-rw-r--r--	init4.c	186	log stats plain
-rw-r--r--	initializers.c	1591	log stats plain
-rw-r--r--	pragmas.c	1146	log stats plain
-rw-r--r--	ptrs1.c	68	log stats plain
-rw-r--r--	ptrs2.c	479	log stats plain
-rw-r--r--	sizeof1.c	620	log stats plain
-rw-r--r--	struct1.c	100	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--	types1.c	247	log stats plain
-rw-r--r--	varargs1.c	248	log stats plain
-rw-r--r--	volatile1.c	133	log stats plain
-rw-r--r--	volatile2.c	911	log stats plain