summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.agignore25logplain
-rw-r--r--.gitignore246logplain
-rw-r--r--.ocp-indent890logplain
-rw-r--r--CHANGES.md1461logplain
-rw-r--r--CODEOWNERS1229logplain
-rw-r--r--LICENSE.md1385logplain
-rw-r--r--Makefile634logplain
-rw-r--r--README.md2282logplain
-rw-r--r--atd.opam1437logplain
-rw-r--r--atd.opam.template143logplain
d---------atd61logplain
d---------atdcat69logplain
-rw-r--r--atdgen-codec-runtime.opam1237logplain
d---------atdgen-codec-runtime / src30logplain
d---------atdgen-cppo183logplain
-rw-r--r--atdgen-runtime.opam1284logplain
d---------atdgen-runtime / src30logplain
-rw-r--r--atdgen.opam1812logplain
d---------atdgen426logplain
-rw-r--r--atdj.opam1808logplain
d---------atdj195logplain
-rw-r--r--atds.opam1186logplain
d---------atds165logplain
d---------debian975logplain
d---------doc309logplain
-rw-r--r--dune504logplain
-rw-r--r--dune-project3491logplain
-rw-r--r--dune-workspace.dev174logplain
d---------internal-doc37logplain
d---------manual155logplain