aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitattributes104logstatsplain
-rw-r--r--.gitignore1542logstatsplain
-rw-r--r--.gitlab-ci.yml5400logstatsplain
-rw-r--r--.gitmodules0logstatsplain
-rw-r--r--Changelog64004logstatsplain
-rw-r--r--INSTALL.md1359logstatsplain
-rw-r--r--INSTALL_CROSS.md193logstatsplain
-rw-r--r--LICENSE35248logstatsplain
-rw-r--r--Makefile9338logstatsplain
-rw-r--r--Makefile.extr4233logstatsplain
-rw-r--r--Makefile.menhir1831logstatsplain
d---------MenhirLib427logstatsplain
-rw-r--r--README.md1444logstatsplain
-rw-r--r--VERSION26logstatsplain
d---------aarch641219logstatsplain
d---------arm1348logstatsplain
d---------backend3755logstatsplain
d---------cfrontend993logstatsplain
d---------common836logstatsplain
-rwxr-xr-xconfig_aarch64.sh75logstatsplain
-rwxr-xr-xconfig_arm.sh73logstatsplain
-rwxr-xr-xconfig_ia32.sh40logstatsplain
-rwxr-xr-xconfig_k1c.sh37logstatsplain
-rwxr-xr-xconfig_ppc.sh71logstatsplain
-rw-r--r--config_ppc64.sh75logstatsplain
-rwxr-xr-xconfig_rv32.sh72logstatsplain
-rwxr-xr-xconfig_rv64.sh72logstatsplain
-rwxr-xr-xconfig_simple.sh286logstatsplain
-rwxr-xr-xconfig_x86_64.sh42logstatsplain
-rwxr-xr-xconfigure25894logstatsplain
-rwxr-xr-xcoq374logstatsplain
d---------cparser1938logstatsplain
d---------debug458logstatsplain
d---------doc157logstatsplain
d---------driver800logstatsplain
d---------exportclight201logstatsplain
d---------extraction110logstatsplain
d---------flocq164logstatsplain
d---------lib1125logstatsplain
d---------mppa_k1c2142logstatsplain
-rwxr-xr-xpg383logstatsplain
d---------powerpc1303logstatsplain
d---------riscV1262logstatsplain
d---------runtime430logstatsplain
d---------scripts96logstatsplain
d---------test414logstatsplain
d---------tools111logstatsplain
d---------x861268logstatsplain
d---------x86_3235logstatsplain
d---------x86_6435logstatsplain