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

Mode	Name	Size
-rw-r--r--	Bitfields.ml	18713	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	7230	log stats plain
-rw-r--r--	Cabs.v	8882	log stats plain
-rw-r--r--	Cabshelper.ml	2479	log stats plain
-rw-r--r--	Cerrors.ml	12726	log stats plain
-rw-r--r--	Cerrors.mli	4588	log stats plain
-rw-r--r--	Ceval.ml	8919	log stats plain
-rw-r--r--	Ceval.mli	1198	log stats plain
-rw-r--r--	Cflow.ml	10033	log stats plain
-rw-r--r--	Cflow.mli	1451	log stats plain
-rw-r--r--	Checks.ml	7525	log stats plain
-rw-r--r--	Checks.mli	1123	log stats plain
-rw-r--r--	Cleanup.ml	7323	log stats plain
-rw-r--r--	Cleanup.mli	1074	log stats plain
-rw-r--r--	Cprint.ml	18677	log stats plain
-rw-r--r--	Cprint.mli	1956	log stats plain
-rw-r--r--	Cutil.ml	38731	log stats plain
-rw-r--r--	Cutil.mli	12779	log stats plain
-rw-r--r--	Elab.ml	104842	log stats plain
-rw-r--r--	Elab.mli	1584	log stats plain
-rw-r--r--	Env.ml	8726	log stats plain
-rw-r--r--	Env.mli	3300	log stats plain
-rw-r--r--	ErrorReports.ml	9750	log stats plain
-rw-r--r--	ErrorReports.mli	1874	log stats plain
-rw-r--r--	ExtendedAsm.ml	7438	log stats plain
-rw-r--r--	GCC.ml	12997	log stats plain
-rw-r--r--	GCC.mli	1152	log stats plain
-rw-r--r--	GNUmakefile	7482	log stats plain
-rw-r--r--	Lexer.mll	24834	log stats plain
-rw-r--r--	Machine.ml	6246	log stats plain
-rw-r--r--	Machine.mli	2162	log stats plain
-rw-r--r--	PackedStructs.ml	14714	log stats plain
-rw-r--r--	Parse.ml	3536	log stats plain
-rw-r--r--	Parse.mli	1309	log stats plain
-rw-r--r--	Parser.vy	32391	log stats plain
-rw-r--r--	Rename.ml	8988	log stats plain
-rw-r--r--	Rename.mli	1074	log stats plain
-rw-r--r--	StructReturn.ml	21434	log stats plain
-rw-r--r--	StructReturn.mli	1073	log stats plain
-rw-r--r--	Transform.ml	7793	log stats plain
-rw-r--r--	Transform.mli	3334	log stats plain
-rw-r--r--	Unblock.ml	14590	log stats plain
-rw-r--r--	Unblock.mli	1139	log stats plain
-rw-r--r--	deLexer.ml	4252	log stats plain
-rw-r--r--	handcrafted.messages	269289	log stats plain
-rw-r--r--	pre_parser.mly	26590	log stats plain
-rw-r--r--	pre_parser_aux.ml	1511	log stats plain
d---------	tests	74	log stats plain
d---------	validator	462	log stats plain