Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .agignore | 25 | logplain |
-rw-r--r-- | .gitignore | 246 | logplain |
-rw-r--r-- | .ocp-indent | 890 | logplain |
-rw-r--r-- | CHANGES.md | 1461 | logplain |
-rw-r--r-- | CODEOWNERS | 1229 | logplain |
-rw-r--r-- | LICENSE.md | 1385 | logplain |
-rw-r--r-- | Makefile | 634 | logplain |
-rw-r--r-- | README.md | 2282 | logplain |
-rw-r--r-- | atd.opam | 1437 | logplain |
-rw-r--r-- | atd.opam.template | 143 | logplain |
d--------- | atd | 61 | logplain |
d--------- | atdcat | 69 | logplain |
-rw-r--r-- | atdgen-codec-runtime.opam | 1237 | logplain |
d--------- | atdgen-codec-runtime / src | 30 | logplain |
d--------- | atdgen-cppo | 183 | logplain |
-rw-r--r-- | atdgen-runtime.opam | 1284 | logplain |
d--------- | atdgen-runtime / src | 30 | logplain |
-rw-r--r-- | atdgen.opam | 1812 | logplain |
d--------- | atdgen | 426 | logplain |
-rw-r--r-- | atdj.opam | 1808 | logplain |
d--------- | atdj | 195 | logplain |
-rw-r--r-- | atds.opam | 1186 | logplain |
d--------- | atds | 165 | logplain |
d--------- | debian | 975 | logplain |
d--------- | doc | 309 | logplain |
-rw-r--r-- | dune | 504 | logplain |
-rw-r--r-- | dune-project | 3491 | logplain |
-rw-r--r-- | dune-workspace.dev | 174 | logplain |
d--------- | internal-doc | 37 | logplain |
d--------- | manual | 155 | logplain |