cparser - compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	.depend	3903	log stats plain
-rw-r--r--	AddCasts.ml	8324	log stats plain
-rw-r--r--	AddCasts.mli	1087	log stats plain
-rw-r--r--	Bitfields.ml	14913	log stats plain
-rw-r--r--	Bitfields.mli	1073	log stats plain
-rw-r--r--	Builtins.ml	1996	log stats plain
-rw-r--r--	Builtins.mli	1274	log stats plain
-rw-r--r--	C.mli	6687	log stats plain
-rw-r--r--	Cabs.ml	11158	log stats plain
-rw-r--r--	Cabshelper.ml	3754	log stats plain
-rw-r--r--	Ceval.ml	9115	log stats plain
-rw-r--r--	Ceval.mli	1152	log stats plain
-rw-r--r--	Cleanup.ml	6645	log stats plain
-rw-r--r--	Cleanup.mli	1074	log stats plain
-rw-r--r--	Cprint.ml	16877	log stats plain
-rw-r--r--	Cprint.mli	1816	log stats plain
-rw-r--r--	Cutil.ml	24715	log stats plain
-rw-r--r--	Cutil.mli	8338	log stats plain
-rw-r--r--	Elab.ml	66028	log stats plain
-rw-r--r--	Elab.mli	1100	log stats plain
-rw-r--r--	Env.ml	7206	log stats plain
-rw-r--r--	Env.mli	3081	log stats plain
-rw-r--r--	Errors.ml	1972	log stats plain
-rw-r--r--	Errors.mli	1361	log stats plain
-rw-r--r--	GCC.ml	12273	log stats plain
-rw-r--r--	GCC.mli	1083	log stats plain
-rw-r--r--	Lexer.mli	2371	log stats plain
-rw-r--r--	Lexer.mll	20769	log stats plain
-rw-r--r--	Machine.ml	4148	log stats plain
-rw-r--r--	Machine.mli	1877	log stats plain
-rw-r--r--	Main.ml	3341	log stats plain
-rw-r--r--	Makefile	1907	log stats plain
-rw-r--r--	PackedStructs.ml	16295	log stats plain
-rw-r--r--	Parse.ml	2559	log stats plain
-rw-r--r--	Parse.mli	1309	log stats plain
-rwxr-xr-x	Parse_aux.ml	1805	log stats plain
-rw-r--r--	Parse_aux.mli	1279	log stats plain
-rw-r--r--	Parser.mly	56434	log stats plain
-rw-r--r--	Rename.ml	8159	log stats plain
-rw-r--r--	Rename.mli	1074	log stats plain
-rw-r--r--	SimplExpr.ml	19196	log stats plain
-rw-r--r--	SimplExpr.mli	1223	log stats plain
-rw-r--r--	SimplVolatile.ml	3180	log stats plain
-rw-r--r--	StructAssign.ml	5530	log stats plain
-rw-r--r--	StructAssign.mli	1134	log stats plain
-rw-r--r--	StructByValue.ml	11038	log stats plain
-rw-r--r--	StructByValue.mli	1073	log stats plain
-rw-r--r--	Transform.ml	7281	log stats plain
-rw-r--r--	Transform.mli	3349	log stats plain
-rw-r--r--	Unblock.ml	4749	log stats plain
-rw-r--r--	Unblock.mli	1139	log stats plain
-rw-r--r--	uint64.c	1695	log stats plain