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) | |
| 8 | - popl/ popl09/ | |
| 9 | - tools/ | |
| 10 | - standard.iso | |
| 11 | ||
| 12 | * Yoann Padioleau <yoann.padioleau@gmail.com> | |
| 13 | ||
| 14 | - parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff) | |
| 15 | - engine/ (pattern matching and transforming, unparsing, ctl integration) | |
| 16 | - cocci.ml (driver) | |
| 17 | - main.ml, testing.ml | |
| 18 | - emacs/cocci.el | |
| 19 | - globals/ | |
| 20 | - extra/ | |
| 21 | - tools/ | |
| 22 | - scripts/ | |
| 23 | - commons/ (utility functions) | |
| 24 | - standard.h | |
| 25 | ||
| 26 | ||
| 27 | * Rene Rydhof Hansen <rrhansen@diku.dk> | |
| 28 | ||
| 29 | - Original version of the model checker in ctl/ | |
| 30 | - emacs/cocci-ediff.el | |
| 31 | - scripts/extractor.awk | |
| 32 | ||
| 33 | * Henrik stuart <henrik@hstuart.dk> | |
| 34 | ||
| 35 | - python/ (python SmPL extension and a coccinelle GUI) | |
| 36 | ||
| 37 | * All | |
| 38 | ||
| 39 | - tests/ demos/ |