HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 34e49164 C |
1 | Here are the authors and maintainers of the different parts of coccinelle: |
| 2 | ||
| 3 | * Julia Lawall <julia@diku.dk> | |
| 4 | ||
| 5 | - parsing_cocci/ (parsing SmPL, isomorphism handling) | |
| 6 | - engine/ (ast_cocci to ctl, sgrep) | |
| 7 | - ctl/ (symbolic model checker) | |
| 34e49164 C |
8 | - tools/ |
| 9 | - standard.iso | |
| 10 | ||
| 11 | * Yoann Padioleau <yoann.padioleau@gmail.com> | |
| 12 | ||
| 13 | - parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff) | |
| 14 | - engine/ (pattern matching and transforming, unparsing, ctl integration) | |
| 708f4980 C |
15 | - main.ml, cocci.ml (driver), testing.ml |
| 16 | - configure, txt files, Makefiles | |
| 34e49164 | 17 | - globals/ |
| 708f4980 C |
18 | - extra/, tools/, scripts/ |
| 19 | - commons/ (utility functions, e.g. for logging, profiling, regression testing) | |
| 20 | - editors/emacs/cocci.el | |
| 34e49164 C |
21 | - standard.h |
| 22 | ||
| 23 | ||
| 24 | * Rene Rydhof Hansen <rrhansen@diku.dk> | |
| 25 | ||
| 26 | - Original version of the model checker in ctl/ | |
| 708f4980 | 27 | - editors/emacs/cocci-ediff.el |
| 34e49164 C |
28 | - scripts/extractor.awk |
| 29 | ||
| 30 | * Henrik stuart <henrik@hstuart.dk> | |
| 31 | ||
| 32 | - python/ (python SmPL extension and a coccinelle GUI) | |
| 33 | ||
| 174d1640 C |
34 | * Nicolas Palix <npalix@diku.dk> |
| 35 | ||
| 36 | - ocaml/ (OCaml SmPL extension) | |
| 37 | - scripts/spatch.bash_completion | |
| 38 | ||
| 34e49164 C |
39 | * All |
| 40 | ||
| 41 | - tests/ demos/ |