This is an automated email from the git hooks/post-receive script. eugen pushed a change to branch master in repository coccinelle.
from 19746cc Standards-Version 3.9.6 - no changes required new 6e467c9 Imported Upstream version 1.0.0~rc23.deb new 7b7e9b8 Merge tag 'upstream/1.0.0_rc23.deb' new 1d9c7c2 New upstream RC new e96ed71 Upload to experimental due to freeze The 4 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 | 10 +- Makefile.common | 2 +- Makefile.config.in | 1 + Makefile.dev | 48 ++-- Makefile.release | 15 +- changes.txt | 18 +- cocci.ml | 54 +++- commons/Makefile | 26 +- commons/bytes.ml | 255 +++++++++++++++++ commons/bytes.mli | 406 ++++++++++++++++++++++++++++ commons/common.ml | 4 +- commons/ocamlextra/dumper.ml | 1 - commons/ocamlextra/suffix_tree.ml | 8 +- commons/ocamlextra/suffix_tree_ext.ml | 8 +- configure | 68 ++++- configure.ac | 20 +- ctl/Makefile | 2 +- ctl/ctl_engine.ml | 8 +- ctl/wrapper_ctl.ml | 2 +- debian/changelog | 7 + docs/Coccilib.3cocci | 5 +- docs/manual/cocci_syntax.tex | 5 + docs/manual/examples.tex | 16 +- docs/manual/introduction.tex | 16 +- docs/manual/spatch_options.tex | 32 ++- engine/Makefile | 4 +- engine/asttoctl2.ml | 16 +- engine/asttomember.ml | 14 +- engine/cocci_vs_c.ml | 19 +- engine/ctlcocci_integration.ml | 2 +- extra/Makefile | 2 +- globals/Makefile | 2 +- globals/iteration.ml | 2 +- main.ml | 25 +- parsing_c/Makefile | 4 + parsing_c/flag_parsing_c.ml | 2 + parsing_c/lexer_c.mll | 109 ++++++-- parsing_c/parse_c.ml | 6 +- parsing_c/parser_c.mly | 5 +- parsing_c/parsing_hacks.ml | 30 +- parsing_c/parsing_stat.ml | 4 +- parsing_c/pretty_print_c.ml | 3 +- parsing_c/token_helpers.ml | 4 +- parsing_c/token_views_c.ml | 21 +- parsing_c/unparse_c.ml | 343 ++++++++++++++--------- parsing_c/unparse_cocci.ml | 22 +- parsing_cocci/Makefile | 2 +- parsing_cocci/adjacency.ml | 23 ++ parsing_cocci/arity.ml | 4 + parsing_cocci/ast0_cocci.ml | 1 + parsing_cocci/ast0_cocci.mli | 1 + parsing_cocci/ast0toast.ml | 3 +- parsing_cocci/ast_cocci.ml | 1 + parsing_cocci/ast_cocci.mli | 1 + parsing_cocci/comm_assoc.ml | 2 +- parsing_cocci/compute_lines.ml | 10 +- parsing_cocci/context_neg.ml | 17 +- parsing_cocci/data.ml | 3 + parsing_cocci/data.mli | 2 + parsing_cocci/disjdistr.ml | 1 + parsing_cocci/dpll.ml | 2 +- parsing_cocci/free_vars.ml | 2 +- parsing_cocci/function_prototypes.ml | 98 ++++++- parsing_cocci/get_metas.ml | 2 + parsing_cocci/index.ml | 1 + parsing_cocci/insert_plus.ml | 4 +- parsing_cocci/iso_pattern.ml | 31 ++- parsing_cocci/lexer_cocci.mll | 30 +- parsing_cocci/parse_aux.ml | 62 +++-- parsing_cocci/parse_cocci.ml | 35 ++- parsing_cocci/parse_printf.ml | 2 +- parsing_cocci/parser_cocci_menhir.mly | 8 +- parsing_cocci/pretty_print_cocci.ml | 3 +- parsing_cocci/safe_for_multi_decls.ml | 6 +- parsing_cocci/single_statement.ml | 12 +- parsing_cocci/unify_ast.ml | 3 +- parsing_cocci/unparse_ast0.ml | 1 + parsing_cocci/visitor_ast.ml | 2 + parsing_cocci/visitor_ast0.ml | 2 + popl/Makefile | 2 +- popl09/Makefile | 2 +- popl09/popltoctl.ml | 8 +- python/Makefile | 2 +- python/coccipython.a | Bin 32158 -> 32158 bytes python/coccipython.cmxa | Bin 2679 -> 2679 bytes standard.iso | 4 +- testing.ml | 27 -- testing.ml => testing.ml.in | 29 +- tests/SCORE_expected.sexp | Bin 15177 -> 15339 bytes tests/SCORE_expected_orig.sexp | Bin 15177 -> 15339 bytes tests/asm.c | 7 + tests/changetype.c | 3 + tests/changetype.cocci | 7 + tests/decl.cocci | 1 - tests/decl1.cocci | 3 +- tests/dropparam.cocci | 1 - tests/func.c | 6 + tests/func.cocci | 9 + tests/func.res | 7 + tests/{retest.c => ifif.c} | 3 +- tests/ifif.cocci | 14 + tests/ifif.res | 13 + tests/log.c | 12 + tests/log.cocci | 13 + tests/log.res | 11 + tests/longline2.c | 8 + tests/longline2.cocci | 7 + tests/longline2.res | 16 ++ tests/multipath.c | 11 + tests/multipath.cocci | 9 + tests/multipath.res | 11 + tests/pa.c | 10 + tests/pa.cocci | 19 ++ tests/pa.res | 11 + tools/Makefile | 2 +- tools/pycocci | 173 ++++++++++++ tools/sgen/README.md | 3 +- tools/sgen/documentation/about.tex | 11 +- tools/sgen/documentation/documentation.tex | 2 +- tools/sgen/documentation/implementation.tex | 6 +- tools/sgen/documentation/knownissues.tex | 2 +- tools/sgen/documentation/usage.tex | 18 +- tools/sgen/source/Makefile | 4 +- tools/sgen/source/README.md | 45 +++ tools/sgen/source/context_rule.ml | 2 +- tools/sgen/source/detect_patch.ml | 6 +- tools/sgen/source/detect_patch.mli | 3 + tools/sgen/source/file_transform.ml | 81 +++--- tools/sgen/source/generator_types.mli | 3 +- tools/sgen/source/meta_variable.ml | 1 - tools/sgen/source/rule_body.ml | 19 +- tools/sgen/source/rule_body.mli | 4 +- version | 2 +- 133 files changed, 2142 insertions(+), 584 deletions(-) create mode 100644 commons/bytes.ml create mode 100644 commons/bytes.mli copy testing.ml => testing.ml.in (93%) create mode 100644 tests/asm.c create mode 100644 tests/changetype.c create mode 100644 tests/changetype.cocci create mode 100644 tests/func.c create mode 100644 tests/func.cocci create mode 100644 tests/func.res copy tests/{retest.c => ifif.c} (59%) create mode 100644 tests/ifif.cocci create mode 100644 tests/ifif.res create mode 100644 tests/log.c create mode 100644 tests/log.cocci create mode 100644 tests/log.res create mode 100644 tests/longline2.c create mode 100644 tests/longline2.cocci create mode 100644 tests/longline2.res create mode 100644 tests/multipath.c create mode 100644 tests/multipath.cocci create mode 100644 tests/multipath.res create mode 100644 tests/pa.c create mode 100644 tests/pa.cocci create mode 100644 tests/pa.res create mode 100755 tools/pycocci create mode 100644 tools/sgen/source/README.md -- 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