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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits