File: authors.txt

package info (click to toggle)
coccinelle 1.0.8.deb-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 26,148 kB
  • sloc: ml: 136,392; ansic: 23,594; sh: 2,189; makefile: 2,157; perl: 1,576; lisp: 840; python: 823; awk: 70; csh: 12
file content (41 lines) | stat: -rw-r--r-- 1,045 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
Here are the authors and maintainers of the different parts of coccinelle:

* Julia Lawall <julia@diku.dk>

- parsing_cocci/ (parsing SmPL, isomorphism handling)
- engine/ (ast_cocci to ctl, sgrep)
- ctl/ (symbolic model checker)
- tools/
- standard.iso

* Yoann Padioleau <yoann.padioleau@gmail.com>

- parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff)
- engine/ (pattern matching and transforming, unparsing, ctl integration)
- main.ml, cocci.ml (driver), testing.ml
- configure, txt files, Makefiles
- globals/
- extra/, tools/, scripts/
- commons/ (utility functions, e.g. for logging, profiling, regression testing)
- editors/emacs/cocci.el
- standard.h


* Rene Rydhof Hansen <rrhansen@diku.dk>

- Original version of the model checker in ctl/
- editors/emacs/cocci-ediff.el
- scripts/extractor.awk

* Henrik stuart <henrik@hstuart.dk>

- python/ (python SmPL extension and a coccinelle GUI)

* Nicolas Palix <npalix@diku.dk>

- ocaml/ (OCaml SmPL extension)
- scripts/spatch.bash_completion

* All

- tests/ demos/