[Pkg-ocaml-maint-commits] [coccinelle] branch upstream updated (79dab3d -> b34af91)

Eugeniy Meshcheryakov eugen at moszumanska.debian.org
Thu Dec 5 21:14:36 UTC 2013


This is an automated email from the git hooks/post-receive script.

eugen pushed a change to branch upstream
in repository coccinelle.

      from  79dab3d   Imported Upstream version 1.0.0~rc18.deb
       new  b34af91   Imported Upstream version 1.0.0~rc19.deb

The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 Makefile.config.in                                 |   2 +-
 Makefile.release                                   |   3 +
 bugs.txt                                           |   4 +-
 changes.txt                                        |  15 +
 cocci.ml                                           | 108 ++--
 cocci.mli                                          |  12 +-
 configure                                          | 140 +----
 configure.ac                                       |   2 +-
 demos/format.c                                     |   7 +
 demos/format.cocci                                 |  71 +++
 demos/format.res                                   |   7 +
 docs/manual/cocci_syntax.tex                       |  19 +
 docs/manual/spatch_options.tex                     |  16 +-
 engine/asttoctl2.ml                                |  40 +-
 engine/asttomember.ml                              |   3 +
 engine/check_exhaustive_pattern.ml                 |   1 +
 engine/cocci_vs_c.ml                               | 263 +++++++--
 engine/cocci_vs_c.mli                              |   6 +
 engine/ctlcocci_integration.ml                     |   1 +
 engine/pattern_c.ml                                |  15 +
 engine/pretty_print_engine.ml                      |   3 +
 engine/transformation_c.ml                         |  29 +
 flag_cocci.ml                                      |   2 +-
 globals/flag.ml                                    |   6 +-
 main.ml                                            | 102 ++--
 ocaml/coccilib.ml                                  |   2 +
 ocaml/ocamlcocci_aux.ml                            |  11 +-
 ocaml/run_ocamlcocci.ml                            |   2 +
 ocaml/yes_prepare_ocamlcocci.ml                    |   2 +
 parsing_c/Makefile                                 |   2 +-
 parsing_c/ast_c.ml                                 |  22 +-
 parsing_c/compare_c.ml                             |  22 +-
 parsing_c/control_flow_c_build.ml                  |   3 +-
 parsing_c/cpp_ast_c.ml                             |   2 +-
 parsing_c/lib_parsing_c.ml                         |  29 +-
 parsing_c/parse_c.ml                               |  41 +-
 parsing_c/parse_c.mli                              |   6 +-
 parsing_c/parse_string_c.ml                        | 117 ++++
 parsing_c/parse_string_c.mli                       |   3 +
 parsing_c/parser_c.mly                             |  16 +
 parsing_c/parsing_hacks.ml                         |  44 +-
 parsing_c/parsing_hacks.mli                        |   3 +
 parsing_c/pretty_print_c.ml                        |  54 +-
 parsing_c/pretty_print_c.mli                       |  11 +
 parsing_c/test_parsing_c.ml                        |  30 +-
 parsing_c/token_helpers.ml                         |  18 +
 parsing_c/type_annoter_c.ml                        |   6 +-
 parsing_c/type_annoter_c.mli                       |   4 +-
 parsing_c/unparse_c.ml                             | 615 ++++++++++++++++-----
 parsing_c/unparse_cocci.ml                         | 100 ++--
 parsing_c/unparse_hrule.ml                         |  18 +-
 parsing_c/visitor_c.ml                             |  64 +++
 parsing_c/visitor_c.mli                            |  19 +-
 parsing_cocci/Makefile                             |   4 +-
 parsing_cocci/arity.ml                             |  51 ++
 parsing_cocci/ast0_cocci.ml                        |  16 +
 parsing_cocci/ast0_cocci.mli                       |  16 +
 parsing_cocci/ast0toast.ml                         |  20 +
 parsing_cocci/ast_cocci.ml                         |  23 +-
 parsing_cocci/ast_cocci.mli                        |  19 +
 parsing_cocci/check_meta.ml                        |  23 +
 parsing_cocci/cocci_grep.ml                        | 156 ++++++
 parsing_cocci/{iso_compile.mli => cocci_grep.mli}  |   6 +-
 parsing_cocci/compute_lines.ml                     |  49 ++
 parsing_cocci/context_neg.ml                       |  23 +-
 parsing_cocci/data.ml                              |  15 +
 parsing_cocci/data.mli                             |  12 +
 parsing_cocci/disjdistr.ml                         |   9 +-
 parsing_cocci/free_vars.ml                         |  74 ++-
 parsing_cocci/get_constants2.ml                    | 168 ++++--
 parsing_cocci/get_constants2.mli                   |   1 +
 parsing_cocci/get_metas.ml                         |  33 ++
 parsing_cocci/id_utils.ml                          |  10 +-
 parsing_cocci/index.ml                             |   3 +-
 parsing_cocci/iso_pattern.ml                       |  37 +-
 parsing_cocci/lexer_cocci.mll                      |  19 +
 parsing_cocci/parse_aux.ml                         | 126 ++++-
 parsing_cocci/parse_cocci.ml                       |  24 +-
 parsing_cocci/parse_cocci.mli                      |   9 +-
 parsing_cocci/parse_printf.ml                      | 121 ++++
 .../parse_printf.mli                               |   4 +-
 parsing_cocci/parser_cocci_menhir.mly              |  35 +-
 parsing_cocci/pretty_print_cocci.ml                |  20 +
 parsing_cocci/safe_for_multi_decls.ml              |   3 +-
 parsing_cocci/single_statement.ml                  |  22 +-
 parsing_cocci/type_infer.ml                        |   3 +-
 parsing_cocci/unify_ast.ml                         |  34 +-
 parsing_cocci/unparse_ast0.ml                      |  20 +
 parsing_cocci/visitor_ast.ml                       |  70 ++-
 parsing_cocci/visitor_ast.mli                      |   8 +
 parsing_cocci/visitor_ast0.ml                      | 146 ++---
 popl/popltoctl.ml                                  |   2 +-
 popl09/popltoctl.ml                                |   3 +-
 python/coccipython.a                               | Bin 25580 -> 26356 bytes
 python/coccipython.cmxa                            | Bin 2575 -> 2577 bytes
 python/pycocci_aux.ml                              |  11 +-
 readme.txt                                         |  45 ++
 setup/Makefile.in                                  |   6 +-
 setup/echo.sh                                      |   2 +-
 testing.ml                                         |  28 +-
 testing.mli                                        |   4 +-
 tests/SCORE_expected.sexp                          | Bin 13504 -> 15042 bytes
 tests/SCORE_expected_orig.sexp                     | Bin 13504 -> 15042 bytes
 tests/b1.c                                         |   2 +-
 tests/b2.c                                         |   2 +-
 tests/bigin.c                                      |  13 +
 tests/bigin.cocci                                  |   5 +
 tests/bigin.res                                    |  14 +
 tests/bigrepl.c                                    |   6 +
 tests/bigrepl.cocci                                |   5 +
 tests/bigrepl.res                                  |   9 +
 tests/branchparen.c                                |   6 +
 ...bels_metastatement3.cocci => branchparen.cocci} |   3 +-
 tests/branchparen.res                              |  10 +
 tests/comment_brace.c                              |   7 +
 tests/comment_brace.cocci                          |   5 +
 tests/comment_brace.res                            |   9 +
 tests/comment_brace2.c                             |   7 +
 tests/comment_brace2.cocci                         |   5 +
 tests/comment_brace2.res                           |   9 +
 tests/{cr1.c => cr1a.c}                            |   2 +-
 tests/{cr1.cocci => cr1a.cocci}                    |   0
 tests/{cr1.c => cr1a.res}                          |   7 +-
 tests/format.c                                     |   5 +
 tests/format.cocci                                 |   5 +
 tests/format.res                                   |   5 +
 tests/format2.c                                    |   4 +
 tests/format2.cocci                                |  17 +
 tests/format2.res                                  |   3 +
 tests/formatlist.c                                 |  11 +
 tests/formatlist.cocci                             |  13 +
 tests/formatlist.res                               |  11 +
 tests/getc.c                                       |   4 +
 tests/getc.cocci                                   |   9 +
 tests/getc.res                                     |   4 +
 tests/ip.c                                         |  11 +
 tests/ip.cocci                                     |   7 +
 tests/ip.res                                       |  15 +
 tests/ip2.c                                        |  11 +
 tests/ip2.cocci                                    |   7 +
 tests/ip2.res                                      |  17 +
 tests/minenum.res                                  |   2 +-
 tests/minenum1.c                                   |   2 +
 tests/{minenum.cocci => minenum1.cocci}            |   0
 tests/minenum1.res                                 |   2 +
 tests/multidec.c                                   |   5 +
 tests/{undef1.cocci => multidec.cocci}             |   3 +-
 tests/multidec.res                                 |   4 +
 tests/multiremove.c                                |   8 +
 tests/multiremove.cocci                            |   6 +
 tests/multiremove.res                              |   5 +
 tests/p9.c                                         |   3 +
 tests/p9.cocci                                     |   8 +
 tests/p9.res                                       |   3 +
 tests/rem1.c                                       |   5 +
 tests/rem1.cocci                                   |   4 +
 tests/{opt.c => rem1.res}                          |   1 +
 tests/{dep.c => rem2.c}                            |   2 +
 tests/rem2.cocci                                   |   4 +
 tests/{opt.c => rem2.res}                          |   1 +
 tests/smallfn.res                                  |  20 +-
 tests/spl.c                                        |  18 +-
 tools/distributed/Makefile                         |   2 +-
 tools/distributed/spatch_linux.c                   |   2 +-
 tools/splitpatch.ml                                |   2 +-
 version                                            |   2 +-
 166 files changed, 3302 insertions(+), 773 deletions(-)
 create mode 100644 demos/format.c
 create mode 100644 demos/format.cocci
 create mode 100644 demos/format.res
 create mode 100644 parsing_c/parse_string_c.ml
 create mode 100644 parsing_c/parse_string_c.mli
 create mode 100644 parsing_cocci/cocci_grep.ml
 copy parsing_cocci/{iso_compile.mli => cocci_grep.mli} (87%)
 create mode 100644 parsing_cocci/parse_printf.ml
 copy engine/lib_matcher_c.ml => parsing_cocci/parse_printf.mli (91%)
 create mode 100644 tests/bigin.c
 create mode 100644 tests/bigin.cocci
 create mode 100644 tests/bigin.res
 create mode 100644 tests/bigrepl.c
 create mode 100644 tests/bigrepl.cocci
 create mode 100644 tests/bigrepl.res
 create mode 100644 tests/branchparen.c
 copy tests/{labels_metastatement3.cocci => branchparen.cocci} (50%)
 create mode 100644 tests/branchparen.res
 create mode 100644 tests/comment_brace.c
 create mode 100644 tests/comment_brace.cocci
 create mode 100644 tests/comment_brace.res
 create mode 100644 tests/comment_brace2.c
 create mode 100644 tests/comment_brace2.cocci
 create mode 100644 tests/comment_brace2.res
 copy tests/{cr1.c => cr1a.c} (89%)
 copy tests/{cr1.cocci => cr1a.cocci} (100%)
 copy tests/{cr1.c => cr1a.res} (74%)
 create mode 100644 tests/format.c
 create mode 100644 tests/format.cocci
 create mode 100644 tests/format.res
 create mode 100644 tests/format2.c
 create mode 100644 tests/format2.cocci
 create mode 100644 tests/format2.res
 create mode 100644 tests/formatlist.c
 create mode 100644 tests/formatlist.cocci
 create mode 100644 tests/formatlist.res
 create mode 100644 tests/getc.c
 create mode 100644 tests/getc.cocci
 create mode 100644 tests/getc.res
 create mode 100644 tests/ip.c
 create mode 100644 tests/ip.cocci
 create mode 100644 tests/ip.res
 create mode 100644 tests/ip2.c
 create mode 100644 tests/ip2.cocci
 create mode 100644 tests/ip2.res
 create mode 100644 tests/minenum1.c
 copy tests/{minenum.cocci => minenum1.cocci} (100%)
 create mode 100644 tests/minenum1.res
 create mode 100644 tests/multidec.c
 copy tests/{undef1.cocci => multidec.cocci} (51%)
 create mode 100644 tests/multidec.res
 create mode 100644 tests/multiremove.c
 create mode 100644 tests/multiremove.cocci
 create mode 100644 tests/multiremove.res
 create mode 100644 tests/p9.c
 create mode 100644 tests/p9.cocci
 create mode 100644 tests/p9.res
 create mode 100644 tests/rem1.c
 create mode 100644 tests/rem1.cocci
 copy tests/{opt.c => rem1.res} (73%)
 copy tests/{dep.c => rem2.c} (50%)
 create mode 100644 tests/rem2.cocci
 copy tests/{opt.c => rem2.res} (73%)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coccinelle.git



More information about the Pkg-ocaml-maint-commits mailing list