Coccinelle release 1.0.0-rc4

[bpt/coccinelle.git] / authors.txt

diff --git a/authors.txt b/authors.txt
index 0cd3bff..c1e93eb 100644 (file)
--- a/authors.txt
+++ b/authors.txt
@@ -5,7 +5,6 @@ Here are the authors and maintainers of the different parts of coccinelle:
 - parsing_cocci/ (parsing SmPL, isomorphism handling)
 - engine/ (ast_cocci to ctl, sgrep)
 - ctl/ (symbolic model checker)
-- popl/ popl09/
 - tools/ 
 - standard.iso
 
@@ -13,27 +12,30 @@ Here are the authors and maintainers of the different parts of coccinelle:
 
 - parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff)
 - engine/ (pattern matching and transforming, unparsing, ctl integration)
-- cocci.ml (driver)
-- main.ml, testing.ml
-- emacs/cocci.el
+- main.ml, cocci.ml (driver), testing.ml
+- configure, txt files, Makefiles 
 - globals/
-- extra/
-- tools/ 
-- scripts/
-- commons/ (utility functions)
+- 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/
-- emacs/cocci-ediff.el
+- 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/