compcert - CompCert fork with minor modifications for Vericert.

Mode	Name	Size
-rw-r--r--	.gitignore	1043	log stats plain
-rw-r--r--	Changelog	51273	log stats plain
-rw-r--r--	LICENSE	34802	log stats plain
-rw-r--r--	Makefile	9383	log stats plain
-rw-r--r--	Makefile.extr	4167	log stats plain
-rw-r--r--	Makefile.menhir	1514	log stats plain
-rw-r--r--	README.md	1467	log stats plain
-rw-r--r--	VERSION	28	log stats plain
d---------	arm	1128	log stats plain
d---------	backend	3028	log stats plain
d---------	cfrontend	993	log stats plain
d---------	common	759	log stats plain
-rwxr-xr-x	configure	21821	log stats plain
-rwxr-xr-x	coq	356	log stats plain
d---------	cparser	1997	log stats plain
d---------	debug	458	log stats plain
d---------	doc	267	log stats plain
d---------	driver	756	log stats plain
d---------	exportclight	198	log stats plain
d---------	extraction	78	log stats plain
d---------	flocq	168	log stats plain
d---------	lib	1129	log stats plain
-rwxr-xr-x	pg	675	log stats plain
d---------	powerpc	1128	log stats plain
d---------	riscV	1087	log stats plain
d---------	runtime	361	log stats plain
d---------	test	245	log stats plain
d---------	tools	75	log stats plain
d---------	x86	1093	log stats plain
d---------	x86_32	35	log stats plain
d---------	x86_64	35	log stats plain