compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Nettoyages	xleroy	2006-09-17	1	-9/+8
*	Davantage de tests	xleroy	2006-09-17	1	-0/+77