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

Mode	Name	Size
-rwxr-xr-x	.download_from_Kalray.sh	492	log stats plain
-rw-r--r--	.gitattributes	104	log stats plain
-rw-r--r--	.gitignore	1627	log stats plain
-rw-r--r--	.gitlab-ci.yml	13561	log stats plain
-rw-r--r--	.gitmodules	0	log stats plain
-rw-r--r--	Changelog	70355	log stats plain
-rw-r--r--	INSTALL.md	1647	log stats plain
-rw-r--r--	INSTALL_CROSS.md	193	log stats plain
-rw-r--r--	LICENSE	43807	log stats plain
-rw-r--r--	Makefile	13112	log stats plain
-rw-r--r--	Makefile.extr	4803	log stats plain
-rw-r--r--	Makefile.menhir	1903	log stats plain
d---------	MenhirLib	427	log stats plain
-rw-r--r--	PROFILING.md	3420	log stats plain
-rw-r--r--	README.md	2623	log stats plain
-rw-r--r--	README_Kalray.md	2403	log stats plain
-rw-r--r--	VERSION	34	log stats plain
d---------	aarch64	2052	log stats plain
d---------	arm	1492	log stats plain
d---------	backend	4965	log stats plain
d---------	cfrontend	993	log stats plain
d---------	common	877	log stats plain
-rw-r--r--	compcert_build_env.dockerfile	533	log stats plain
-rw-r--r--	compcert_kvx.dockerfile	1041	log stats plain
-rw-r--r--	compcert_kvx_pruned.dockerfile	173	log stats plain
-rwxr-xr-x	config_aarch64.sh	75	log stats plain
-rwxr-xr-x	config_arm.sh	71	log stats plain
-rwxr-xr-x	config_armhf.sh	74	log stats plain
-rwxr-xr-x	config_ia32.sh	40	log stats plain
-rwxr-xr-x	config_kvx.sh	37	log stats plain
-rwxr-xr-x	config_kvx_elf.sh	37	log stats plain
-rwxr-xr-x	config_macos_x86_64.sh	42	log stats plain
-rwxr-xr-x	config_ppc.sh	71	log stats plain
-rwxr-xr-x	config_ppc64.sh	75	log stats plain
-rwxr-xr-x	config_rv32.sh	74	log stats plain
-rwxr-xr-x	config_rv64.sh	72	log stats plain
-rwxr-xr-x	config_simple.sh	293	log stats plain
-rwxr-xr-x	config_x86_64.sh	42	log stats plain
-rwxr-xr-x	configure	26843	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	152	log stats plain
d---------	driver	721	log stats plain
d---------	export	413	log stats plain
d---------	exportclight	43	log stats plain
d---------	extraction	116	log stats plain
d---------	flocq	164	log stats plain
d---------	kvx	2261	log stats plain
d---------	lib	1480	log stats plain
-rwxr-xr-x	make_docker.sh	200	log stats plain
-rwxr-xr-x	pg	383	log stats plain
d---------	powerpc	1447	log stats plain
d---------	riscV	1543	log stats plain
d---------	runtime	425	log stats plain
d---------	scheduling	1008	log stats plain
d---------	scripts	96	log stats plain
d---------	test	509	log stats plain
d---------	tools	201	log stats plain
d---------	x86	1412	log stats plain
d---------	x86_32	35	log stats plain
d---------	x86_64	35	log stats plain