ext « src « cil - compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	astslicer.ml	15255	log stats plain
-rw-r--r--	availexps.ml	9322	log stats plain
-rw-r--r--	bitmap.ml	5556	log stats plain
-rw-r--r--	bitmap.mli	1628	log stats plain
-rw-r--r--	blockinggraph.ml	25790	log stats plain
-rw-r--r--	blockinggraph.mli	1761	log stats plain
-rw-r--r--	callgraph.ml	7870	log stats plain
-rw-r--r--	callgraph.mli	5082	log stats plain
-rw-r--r--	canonicalize.ml	9635	log stats plain
-rw-r--r--	canonicalize.mli	2162	log stats plain
-rw-r--r--	cfg.ml	9187	log stats plain
-rw-r--r--	cfg.mli	1100	log stats plain
-rwxr-xr-x	ciltools.ml	6192	log stats plain
-rwxr-xr-x	dataflow.ml	17175	log stats plain
-rwxr-xr-x	dataflow.mli	6392	log stats plain
-rw-r--r--	dataslicing.ml	15051	log stats plain
-rw-r--r--	dataslicing.mli	1881	log stats plain
-rw-r--r--	deadcodeelim.ml	4777	log stats plain
-rwxr-xr-x	dominators.ml	7731	log stats plain
-rwxr-xr-x	dominators.mli	1121	log stats plain
-rw-r--r--	epicenter.ml	4048	log stats plain
-rw-r--r--	heap.ml	3672	log stats plain
-rw-r--r--	heapify.ml	10330	log stats plain
-rw-r--r--	liveness.ml	4441	log stats plain
-rw-r--r--	logcalls.ml	9929	log stats plain
-rw-r--r--	logcalls.mli	1819	log stats plain
-rw-r--r--	logwrites.ml	5410	log stats plain
-rw-r--r--	oneret.ml	7044	log stats plain
-rw-r--r--	oneret.mli	1991	log stats plain
-rw-r--r--	partial.ml	32445	log stats plain
d---------	pta	444	log stats plain
-rw-r--r--	reachingdefs.ml	15905	log stats plain
-rwxr-xr-x	sfi.ml	12262	log stats plain
-rw-r--r--	simplemem.ml	4689	log stats plain
-rwxr-xr-x	simplify.ml	31261	log stats plain
-rw-r--r--	ssa.ml	20980	log stats plain
-rw-r--r--	ssa.mli	1332	log stats plain
-rw-r--r--	stackoverflow.ml	8541	log stats plain
-rw-r--r--	stackoverflow.mli	1913	log stats plain
-rwxr-xr-x	usedef.ml	5972	log stats plain