xleroy
authored
Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| bin | ||
| doc | ||
| lib | ||
| ocamlutil | ||
| src | ||
| test/small1 | ||
| INSTALL | ||
| LICENSE | ||
| Makefile.gcc | ||
| Makefile.in | ||
| Makefile.msvc | ||
| README | ||
| cil.spec | ||
| cil.spec.in | ||
| config.guess | ||
| config.h.in | ||
| config.sub | ||
| configure | ||
| configure.in | ||
| install-sh | ||