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

Mode	Name	Size
-rw-r--r--	Makefile	996	log stats plain
d---------	Results	111	log stats plain
-rw-r--r--	bitfields1.c	536	log stats plain
-rw-r--r--	commaprec.c	91	log stats plain
-rw-r--r--	expr1.c	253	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--	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--	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	1053	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--	types1.c	247	log stats plain
-rw-r--r--	varargs1.c	248	log stats plain
-rw-r--r--	volatile1.c	135	log stats plain