compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	cleaning...	lrg	2006-10-20	1	-2/+1
*	interpreter for "little"	lrg	2006-10-20	1	-0/+62