aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rwxr-xr-x.download_from_Kalray.sh492logstatsplain
-rw-r--r--.gitattributes108logstatsplain
-rw-r--r--.gitignore1627logstatsplain
-rw-r--r--.gitlab-ci.yml13716logstatsplain
-rw-r--r--.gitmodules0logstatsplain
-rw-r--r--Changelog72882logstatsplain
-rw-r--r--INSTALL.md2465logstatsplain
-rw-r--r--INSTALL_CROSS.md193logstatsplain
-rw-r--r--LICENSE43807logstatsplain
-rw-r--r--Makefile13770logstatsplain
-rw-r--r--Makefile.extr5977logstatsplain
-rw-r--r--Makefile.menhir1903logstatsplain
d---------MenhirLib427logstatsplain
-rw-r--r--OPTIM_PROFILING.md3420logstatsplain
-rw-r--r--README.md5143logstatsplain
-rw-r--r--VERSION35logstatsplain
d---------aarch642052logstatsplain
d---------arm1492logstatsplain
d---------backend4965logstatsplain
d---------ccomp_profiling277logstatsplain
d---------cfrontend993logstatsplain
d---------common877logstatsplain
-rw-r--r--compcert_build_env.dockerfile533logstatsplain
-rw-r--r--compcert_kvx.dockerfile1041logstatsplain
-rw-r--r--compcert_kvx_pruned.dockerfile173logstatsplain
-rwxr-xr-xconfig_aarch64.sh75logstatsplain
-rwxr-xr-xconfig_arm.sh71logstatsplain
-rwxr-xr-xconfig_armhf.sh74logstatsplain
-rwxr-xr-xconfig_ia32.sh40logstatsplain
-rwxr-xr-xconfig_kvx.sh57logstatsplain
-rwxr-xr-xconfig_kvx_elf.sh37logstatsplain
-rwxr-xr-xconfig_macos_aarch64.sh59logstatsplain
-rwxr-xr-xconfig_macos_x86_64.sh42logstatsplain
-rwxr-xr-xconfig_ppc.sh71logstatsplain
-rwxr-xr-xconfig_ppc64.sh75logstatsplain
-rwxr-xr-xconfig_rv32.sh74logstatsplain
-rwxr-xr-xconfig_rv64.sh72logstatsplain
-rwxr-xr-xconfig_simple.sh293logstatsplain
-rwxr-xr-xconfig_x86_64.sh42logstatsplain
-rwxr-xr-xconfigure27017logstatsplain
-rwxr-xr-xcoq329logstatsplain
d---------cparser1857logstatsplain
d---------debug458logstatsplain
d---------doc198logstatsplain
d---------driver721logstatsplain
d---------export413logstatsplain
d---------exportclight43logstatsplain
d---------extraction116logstatsplain
-rw-r--r--flocq.sh105logstatsplain
d---------flocq164logstatsplain
d---------kvx2456logstatsplain
d---------lib1480logstatsplain
-rwxr-xr-xmake_docker.sh200logstatsplain
-rwxr-xr-xpg383logstatsplain
d---------powerpc1447logstatsplain
d---------riscV1543logstatsplain
d---------runtime425logstatsplain
d---------scheduling1008logstatsplain
d---------scripts96logstatsplain
d---------test509logstatsplain
d---------tools201logstatsplain
d---------x861412logstatsplain
d---------x86_3235logstatsplain
d---------x86_6435logstatsplain