compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	.gitattributes	104	log stats plain
-rw-r--r--	.gitignore	1326	log stats plain
-rw-r--r--	Changelog	70290	log stats plain
-rw-r--r--	LICENSE	43813	log stats plain
-rw-r--r--	Makefile	10918	log stats plain
-rw-r--r--	Makefile.extr	4647	log stats plain
-rw-r--r--	Makefile.menhir	1903	log stats plain
d---------	MenhirLib	427	log stats plain
-rw-r--r--	README.md	1464	log stats plain
-rw-r--r--	VERSION	34	log stats plain
d---------	aarch64	1083	log stats plain
d---------	arm	1212	log stats plain
d---------	backend	3352	log stats plain
d---------	cfrontend	993	log stats plain
d---------	common	836	log stats plain
-rwxr-xr-x	configure	25924	log stats plain
-rwxr-xr-x	coq	329	log stats plain
d---------	cparser	1857	log stats plain
d---------	debug	458	log stats plain
d---------	doc	110	log stats plain
d---------	driver	715	log stats plain
-rw-r--r--	dune	74	log stats plain
d---------	exportclight	201	log stats plain
d---------	extraction	78	log stats plain
d---------	flocq	164	log stats plain
d---------	lib	1210	log stats plain
-rwxr-xr-x	pg	383	log stats plain
d---------	powerpc	1167	log stats plain
d---------	riscV	1126	log stats plain
d---------	runtime	395	log stats plain
d---------	test	347	log stats plain
d---------	tools	111	log stats plain
d---------	verilog	1286	log stats plain
d---------	x86	1132	log stats plain
d---------	x86_32	35	log stats plain
d---------	x86_64	35	log stats plain