compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	.depend	83485	log stats plain
-rw-r--r--	.gitignore	976	log stats plain
-rw-r--r--	Changelog	46399	log stats plain
-rw-r--r--	LICENSE	34920	log stats plain
-rw-r--r--	Makefile	8929	log stats plain
-rw-r--r--	Makefile.extr	3998	log stats plain
-rw-r--r--	Makefile.menhir	2792	log stats plain
-rw-r--r--	README.md	1466	log stats plain
-rw-r--r--	VERSION	28	log stats plain
d---------	arm	1042	log stats plain
d---------	backend	3233	log stats plain
d---------	cfrontend	993	log stats plain
d---------	common	800	log stats plain
-rwxr-xr-x	configure	16507	log stats plain
-rwxr-xr-x	coq	356	log stats plain
d---------	cparser	1849	log stats plain
d---------	debug	458	log stats plain
d---------	doc	232	log stats plain
d---------	driver	801	log stats plain
d---------	exportclight	157	log stats plain
d---------	extraction	78	log stats plain
d---------	flocq	168	log stats plain
d---------	ia32	1042	log stats plain
d---------	lib	1090	log stats plain
-rwxr-xr-x	pg	675	log stats plain
d---------	powerpc	1042	log stats plain
d---------	runtime	258	log stats plain
d---------	test	278	log stats plain
d---------	tools	75	log stats plain