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

Mode	Name	Size
-rw-r--r--	C.mli	7613	log stats plain
-rw-r--r--	Cabs.v	9580	log stats plain
-rw-r--r--	Cabshelper.ml	2462	log stats plain
-rw-r--r--	Ceval.ml	12535	log stats plain
-rw-r--r--	Ceval.mli	1363	log stats plain
-rw-r--r--	Cflow.ml	10716	log stats plain
-rw-r--r--	Cflow.mli	1525	log stats plain
-rw-r--r--	Checks.ml	13228	log stats plain
-rw-r--r--	Checks.mli	1245	log stats plain
-rw-r--r--	Cleanup.ml	7578	log stats plain
-rw-r--r--	Cleanup.mli	1148	log stats plain
-rw-r--r--	Cprint.ml	19214	log stats plain
-rw-r--r--	Cprint.mli	2175	log stats plain
-rw-r--r--	Cutil.ml	43686	log stats plain
-rw-r--r--	Cutil.mli	14382	log stats plain
-rw-r--r--	Diagnostics.ml	13381	log stats plain
-rw-r--r--	Diagnostics.mli	6283	log stats plain
-rw-r--r--	Elab.ml	132703	log stats plain
-rw-r--r--	Elab.mli	1659	log stats plain
-rw-r--r--	Env.ml	9861	log stats plain
-rw-r--r--	Env.mli	3633	log stats plain
-rw-r--r--	ErrorReports.ml	9824	log stats plain
-rw-r--r--	ErrorReports.mli	1948	log stats plain
-rw-r--r--	ExtendedAsm.ml	7415	log stats plain
-rw-r--r--	GCC.ml	13069	log stats plain
-rw-r--r--	GCC.mli	1201	log stats plain
-rw-r--r--	GNUmakefile	7460	log stats plain
-rw-r--r--	Lexer.mll	30461	log stats plain
-rw-r--r--	Machine.ml	8831	log stats plain
-rw-r--r--	Machine.mli	3115	log stats plain
-rw-r--r--	PackedStructs.ml	14502	log stats plain
-rw-r--r--	Parse.ml	3565	log stats plain
-rw-r--r--	Parse.mli	1809	log stats plain
-rw-r--r--	Parser.vy	35388	log stats plain
-rw-r--r--	Rename.ml	9070	log stats plain
-rw-r--r--	Rename.mli	1148	log stats plain
-rw-r--r--	StructPassing.ml	21823	log stats plain
-rw-r--r--	StructPassing.mli	1147	log stats plain
-rw-r--r--	SwitchNorm.ml	6819	log stats plain
-rw-r--r--	SwitchNorm.mli	1515	log stats plain
-rw-r--r--	Transform.ml	7928	log stats plain
-rw-r--r--	Transform.mli	3492	log stats plain
-rw-r--r--	Unblock.ml	14904	log stats plain
-rw-r--r--	Unblock.mli	1213	log stats plain
-rw-r--r--	deLexer.ml	4441	log stats plain
-rw-r--r--	handcrafted.messages	287302	log stats plain
-rw-r--r--	pre_parser.mly	27149	log stats plain
-rw-r--r--	pre_parser_aux.ml	1390	log stats plain
-rw-r--r--	pre_parser_aux.mli	1501	log stats plain
d---------	tests	74	log stats plain