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

Mode	Name	Size
-rw-r--r--	Makefile	2016	log stats plain
-rw-r--r--	aes.cmp	10275	log stats plain
-rw-r--r--	almabench.cmp	5173	log stats plain
-rw-r--r--	conversions.cm	331	log stats plain
-rw-r--r--	fft.cm	4074	log stats plain
-rw-r--r--	fib.cm	125	log stats plain
-rw-r--r--	integr.cm	454	log stats plain
-rw-r--r--	lists.cm	438	log stats plain
-rw-r--r--	mainaes.c	38809	log stats plain
-rw-r--r--	mainalmabench.c	8557	log stats plain
-rw-r--r--	mainconversions.c	2714	log stats plain
-rw-r--r--	mainfft.c	1375	log stats plain
-rw-r--r--	mainfib.c	220	log stats plain
-rw-r--r--	maingc.c	4664	log stats plain
-rw-r--r--	mainintegr.c	256	log stats plain
-rw-r--r--	mainlists.c	599	log stats plain
-rw-r--r--	mainmanyargs.c	267	log stats plain
-rw-r--r--	mainqsort.c	774	log stats plain
-rw-r--r--	mainsha1.c	1943	log stats plain
-rw-r--r--	mainswitchtbl.c	178	log stats plain
-rw-r--r--	manyargs.cm	1686	log stats plain
-rw-r--r--	marksweep.cmp	7738	log stats plain
-rw-r--r--	marksweepcheck.c	2726	log stats plain
-rw-r--r--	qsort.cm	751	log stats plain
-rw-r--r--	sha1.cmp	5700	log stats plain
-rw-r--r--	stopcopy.cmp	4968	log stats plain
-rw-r--r--	switchtbl.cm	273	log stats plain