[Pkg-ocaml-maint-commits] [coccinelle] branch master updated (4369147 -> 19746cc)
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Fri Oct 3 18:08:43 UTC 2014
This is an automated email from the git hooks/post-receive script.
eugen pushed a change to branch master
in repository coccinelle.
from 4369147 Don't depend on obsolete python-gobject, depend on python-gobject-2 instead (closes: #758618)
new 5f9d885 Imported Upstream version 1.0.0~rc22.deb
new 5dab580 Merge tag 'upstream/1.0.0_rc22.deb'
new 6503026 New upstream RC
new 19746cc Standards-Version 3.9.6 - no changes required
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 | 2 +-
Makefile.release | 2 +-
changes.txt | 45 +-
cocci.ml | 317 +++---
cocci.mli | 2 +-
commons/common.ml | 30 +-
commons/common.mli | 46 +-
configure | 122 +-
ctl/Makefile | 2 +-
ctl/ast_ctl.ml | 2 +-
ctl/ctl_engine.ml | 21 +-
ctl/ctl_engine.mli | 9 +-
ctl/flag_ctl.ml | 2 +-
ctl/pretty_print_ctl.ml | 2 +-
ctl/pretty_print_ctl.mli | 2 +-
ctl/test_ctl.ml | 2 +-
ctl/wrapper_ctl.ml | 2 +-
ctl/wrapper_ctl.mli | 2 +-
debian/changelog | 7 +
debian/control | 2 +-
docs/manual/cocci_syntax.tex | 23 +
docs/manual/macros.tex | 2 +-
docs/manual/spatch_options.tex | 322 +++---
docs/spatch.1.in | 63 +-
engine/Makefile | 2 +-
engine/asttoctl.mli | 2 +-
engine/asttoctl2.ml | 93 +-
engine/asttoctl2.mli | 2 +-
engine/asttomember.ml | 34 +-
engine/asttomember.mli | 2 +-
engine/c_vs_c.ml | 4 +-
engine/c_vs_c.mli | 2 +-
engine/check_exhaustive_pattern.ml | 6 +-
engine/check_reachability.ml | 2 +-
engine/check_reachability.mli | 2 +-
engine/cocci_vs_c.ml | 368 ++++--
engine/cocci_vs_c.mli | 8 +-
engine/ctlcocci_integration.ml | 74 +-
engine/ctlcocci_integration.mli | 2 +-
engine/ctltotex.ml | 2 +-
engine/ctltotex.mli | 2 +-
engine/externalanalysis.ml | 2 +-
engine/externalanalysis.mli | 2 +-
engine/flag_engine.ml | 2 +-
engine/flag_matcher.ml | 2 +-
engine/isomorphisms_c_c.ml | 2 +-
engine/lib_engine.ml | 2 +-
engine/lib_matcher_c.ml | 2 +-
engine/lib_matcher_c.mli | 2 +-
engine/main.ml | 2 +-
engine/pattern_c.ml | 14 +-
engine/pattern_c.mli | 2 +-
engine/postprocess_transinfo.ml | 4 +-
engine/postprocess_transinfo.mli | 2 +-
engine/pretty_print_engine.ml | 2 +-
engine/pretty_print_engine.mli | 2 +-
engine/transformation_c.ml | 20 +-
engine/transformation_c.mli | 2 +-
flag_cocci.ml | 6 +-
globals/Makefile | 2 +-
globals/flag.ml | 4 +-
globals/iteration.ml | 2 +-
globals/iteration.mli | 2 +-
globals/regexp_pcre.ml | 27 +-
globals/regexp_str.ml | 2 +-
main.ml | 145 +--
ocaml/exposed_modules.ml | 3 +
ocaml/no_prepare_ocamlcocci.ml | 7 +-
ocaml/prepare_ocamlcocci.mli | 1 +
ocaml/yes_prepare_ocamlcocci.ml | 17 +
parsing_c/ast_c.ml | 14 +-
parsing_c/comment_annotater_c.ml | 4 -
parsing_c/compare_c.ml | 82 +-
parsing_c/compare_c.mli | 3 -
parsing_c/control_flow_c.ml | 6 +
parsing_c/control_flow_c.mli | 5 +
parsing_c/control_flow_c_build.ml | 435 +++++---
parsing_c/cpp_ast_c.ml | 103 --
parsing_c/cpp_ast_c.mli | 4 -
parsing_c/danger.ml | 53 +-
parsing_c/flag_parsing_c.ml | 2 +
parsing_c/lexer_c.mll | 43 +-
parsing_c/lib_parsing_c.ml | 1 +
parsing_c/parse_c.ml | 60 +-
parsing_c/parse_c.mli | 7 +
parsing_c/parse_string_c.ml | 10 +-
parsing_c/parser_c.mly | 120 +-
parsing_c/parsing_hacks.ml | 333 ++++--
parsing_c/parsing_hacks.mli | 12 +-
parsing_c/parsing_stat.ml | 6 +-
parsing_c/pretty_print_c.ml | 109 +-
parsing_c/test_parsing_c.ml | 43 +-
parsing_c/token_c.ml | 1 +
parsing_c/token_helpers.ml | 79 ++
parsing_c/token_helpers.mli | 13 +
parsing_c/token_views_c.ml | 32 +-
parsing_c/unparse_c.ml | 304 +++--
parsing_c/unparse_cocci.ml | 47 +-
parsing_c/unparse_hrule.ml | 2 +-
parsing_c/visitor_c.ml | 31 +-
parsing_c/visitor_c.mli | 6 +
parsing_cocci/Makefile | 6 +-
parsing_cocci/adjacency.ml | 2 +-
parsing_cocci/adjacency.mli | 2 +-
parsing_cocci/adjust_pragmas.ml | 27 +-
parsing_cocci/adjust_pragmas.mli | 2 +-
parsing_cocci/arity.ml | 35 +-
parsing_cocci/arity.mli | 2 +-
parsing_cocci/ast0_cocci.ml | 56 +-
parsing_cocci/ast0_cocci.mli | 40 +-
parsing_cocci/ast0toast.ml | 73 +-
parsing_cocci/ast0toast.mli | 4 +-
parsing_cocci/ast_cocci.ml | 34 +-
parsing_cocci/ast_cocci.mli | 26 +-
parsing_cocci/check_meta.ml | 23 +-
parsing_cocci/check_meta.mli | 2 +-
parsing_cocci/cocci_grep.ml | 4 +-
parsing_cocci/cocci_grep.mli | 2 +-
parsing_cocci/comm_assoc.ml | 2 +-
parsing_cocci/comm_assoc.mli | 2 +-
parsing_cocci/command_line.ml | 2 +-
parsing_cocci/command_line.mli | 2 +-
parsing_cocci/commas_on_lists.ml | 2 +-
parsing_cocci/commas_on_lists.mli | 2 +-
parsing_cocci/compute_lines.ml | 136 ++-
parsing_cocci/compute_lines.mli | 2 +-
parsing_cocci/context_neg.ml | 72 +-
parsing_cocci/context_neg.mli | 2 +-
parsing_cocci/data.ml | 7 +-
parsing_cocci/data.mli | 11 +-
parsing_cocci/disjdistr.ml | 31 +-
parsing_cocci/disjdistr.mli | 2 +-
parsing_cocci/dpll.ml | 114 ++
engine/lib_matcher_c.ml => parsing_cocci/dpll.mli | 5 +-
parsing_cocci/flag_parsing_cocci.ml | 5 +-
parsing_cocci/free_vars.ml | 34 +-
parsing_cocci/free_vars.mli | 2 +-
parsing_cocci/function_prototypes.ml | 24 +-
parsing_cocci/function_prototypes.mli | 2 +-
parsing_cocci/get_constants.ml | 2 +-
parsing_cocci/get_constants.mli | 2 +-
parsing_cocci/get_constants2.ml | 148 ++-
parsing_cocci/get_constants2.mli | 7 +-
parsing_cocci/get_metas.ml | 95 +-
parsing_cocci/get_metas.mli | 2 +-
parsing_cocci/id_utils.ml | 2 +-
parsing_cocci/id_utils.mli | 2 +-
parsing_cocci/index.ml | 4 +-
parsing_cocci/index.mli | 2 +-
parsing_cocci/insert_plus.ml | 76 +-
parsing_cocci/insert_plus.mli | 2 +-
parsing_cocci/iso_compile.ml | 17 +-
parsing_cocci/iso_compile.mli | 2 +-
parsing_cocci/iso_pattern.ml | 256 +++--
parsing_cocci/iso_pattern.mli | 2 +-
parsing_cocci/lexer_cli.mll | 2 +-
parsing_cocci/lexer_cocci.mll | 240 +++-
parsing_cocci/lexer_script.mll | 3 +-
parsing_cocci/main.ml | 2 +-
parsing_cocci/merge.ml | 2 +-
parsing_cocci/merge.mli | 2 +-
parsing_cocci/parse_aux.ml | 262 ++---
parsing_cocci/parse_cocci.ml | 578 ++++++----
parsing_cocci/parse_cocci.mli | 8 +-
parsing_cocci/parse_printf.ml | 11 +-
parsing_cocci/parse_printf.mli | 2 +-
parsing_cocci/parser_cocci_menhir.mly | 112 +-
parsing_cocci/plus.ml | 2 +-
parsing_cocci/plus.mli | 2 +-
parsing_cocci/pretty_print_cocci.ml | 45 +-
parsing_cocci/pretty_print_cocci.mli | 2 +-
parsing_cocci/safe_for_multi_decls.ml | 17 +-
parsing_cocci/safe_for_multi_decls.mli | 2 +-
parsing_cocci/semantic_cocci.ml | 2 +-
parsing_cocci/simple_assignments.ml | 2 +-
parsing_cocci/simple_assignments.mli | 2 +-
parsing_cocci/single_statement.ml | 8 +-
parsing_cocci/single_statement.mli | 2 +-
parsing_cocci/test.cocci | 2 +-
parsing_cocci/test2.cocci | 2 +-
parsing_cocci/test_exps.ml | 6 +-
parsing_cocci/test_exps.mli | 2 +-
parsing_cocci/top_level.ml | 4 +-
parsing_cocci/top_level.mli | 2 +-
parsing_cocci/type_cocci.ml | 2 +-
parsing_cocci/type_cocci.mli | 2 +-
parsing_cocci/type_infer.ml | 20 +-
parsing_cocci/type_infer.mli | 2 +-
parsing_cocci/unify_ast.ml | 27 +-
parsing_cocci/unify_ast.mli | 2 +-
parsing_cocci/unitary_ast0.ml | 12 +-
parsing_cocci/unitary_ast0.mli | 2 +-
parsing_cocci/unparse_ast0.ml | 31 +-
parsing_cocci/unparse_ast0.mli | 2 +-
parsing_cocci/visitor_ast.ml | 1242 +++++++++++++++------
parsing_cocci/visitor_ast.mli | 22 +-
parsing_cocci/visitor_ast0.ml | 154 ++-
parsing_cocci/visitor_ast0.mli | 2 +-
parsing_cocci/visitor_ast0_types.ml | 2 +-
popl/Makefile | 2 +-
popl/ast_popl.ml | 2 +-
popl/asttopopl.ml | 2 +-
popl/asttopopl.mli | 2 +-
popl/insert_befaft.ml | 2 +-
popl/insert_befaft.mli | 2 +-
popl/insert_quantifiers.ml | 2 +-
popl/insert_quantifiers.mli | 2 +-
popl/popl.ml | 2 +-
popl/popl.mli | 2 +-
popl/popltoctl.ml | 2 +-
popl/popltoctl.mli | 2 +-
popl/pretty_print_popl.ml | 2 +-
popl/pretty_print_popl.mli | 2 +-
popl09/Makefile | 2 +-
popl09/ast_popl.ml | 2 +-
popl09/asttopopl.ml | 4 +-
popl09/asttopopl.mli | 2 +-
popl09/flag_popl.ml | 2 +-
popl09/insert_quantifiers.ml | 2 +-
popl09/insert_quantifiers.mli | 2 +-
popl09/popl.ml | 2 +-
popl09/popl.mli | 2 +-
popl09/popltoctl.ml | 12 +-
popl09/popltoctl.mli | 2 +-
popl09/pretty_print_popl.ml | 2 +-
popl09/pretty_print_popl.mli | 2 +-
python/Makefile | 2 +-
python/coccipython.a | Bin 25068 -> 32158 bytes
python/coccipython.cmxa | Bin 2652 -> 2679 bytes
python/no_pycocci.ml | 2 +-
python/pycocci.mli | 2 +-
python/pycocci_aux.ml | 11 +-
python/pycocci_aux.mli | 2 +-
python/yes_pycocci.ml | 2 +-
scripts/extract_c_and_res.pl | 2 +-
scripts/extract_examples.pl | 2 +-
scripts/extractor_README.pl | 2 +-
scripts/gather_failed.pl | 2 +-
scripts/readme.pl | 2 +-
scripts/stat_directories.pl | 2 +-
scripts/stat_directories_complete.pl | 2 +-
scripts/stat_directory_complete.pl | 2 +-
testing.ml | 2 +-
testing.mli | 2 +-
tests/SCORE_expected.sexp | Bin 15788 -> 15177 bytes
tests/SCORE_expected_orig.sexp | Bin 15788 -> 15177 bytes
tests/addifelse.c | 20 +
tests/addifelse.cocci | 24 +
tests/addifelse.res | 26 +
tests/addifelse2.c | 20 +
tests/addifelse2.cocci | 25 +
tests/addifelse2.res | 28 +
tests/array_init.cocci | 1 -
tests/badpos.cocci | 2 -
tests/cr.c | 17 +-
tests/cr.cocci | 17 +-
tests/cr.res | 6 +
tests/dec.cocci | 1 +
tests/decl.cocci | 1 +
tests/decl_space.cocci | 1 +
tests/decl_split.cocci | 1 +
tests/decl_star.cocci | 1 +
tests/disjexpr.cocci | 2 +-
tests/disjid.cocci | 1 +
tests/elsify.c | 7 +
tests/elsify.cocci | 9 +
tests/elsify.res | 7 +
tests/endpos.c | 15 +
tests/endpos.cocci | 31 +
tests/endpos.res | 20 +
tests/idstr.c | 3 +
tests/idstr.cocci | 15 +
tests/idstr.res | 3 +
tests/if.cocci | 2 -
tests/ifafter.c | 8 +
tests/ifafter.cocci | 11 +
tests/ifgoto.c | 5 +
tests/ifgoto.cocci | 8 +
tests/ifgoto.res | 7 +
tests/ifields.cocci | 2 +-
tests/ifreturn.cocci | 3 +-
tests/metaruleelem.cocci | 3 +-
tests/mincom.c | 5 +
tests/mincom.cocci | 6 +
tests/mincom.res | 7 +
tests/multidecl3.c | 17 +
tests/multidecl3.cocci | 16 +
tests/multidecl3.res | 13 +
tests/noret.c | 18 +
tests/noret.cocci | 16 +
tests/noret.res | 18 +
tests/noty2.c | 14 +
tests/{com.cocci => noty2.cocci} | 0
tests/noty2.res | 11 +
tests/remparam.c | 15 +
tests/remparam.cocci | 9 +
tests/remparam.res | 15 +
tests/rems.c | 5 +
tests/rems.cocci | 4 +
tests/rems.res | 4 +
tests/rems1.c | 5 +
tests/rems1.cocci | 4 +
tests/rems1.res | 4 +
tests/unelse.c | 9 +
tests/unelse.cocci | 7 +
tests/unelse.res | 7 +
tools/Makefile | 2 +-
tools/alloc_free.ml | 2 +-
tools/bridge.ml | 2 +-
tools/cstripenv.ml | 2 +-
tools/dir_stats.ml | 2 +-
tools/dumper.ml | 2 +-
tools/dumper.mli | 2 +-
tools/extract_c_and_res.ml | 2 +-
tools/gitgrep.ml | 269 +++--
tools/gitsort.ml | 2 +-
tools/licensify.ml | 4 +-
tools/process_isoprofile.ml | 2 +-
tools/sgen/Makefile | 11 +
tools/sgen/README.md | 62 +
tools/sgen/documentation/about.tex | 23 +
tools/sgen/documentation/documentation.tex | 58 +
tools/sgen/documentation/future.tex | 9 +
tools/sgen/documentation/implementation.tex | 13 +
tools/sgen/documentation/knownissues.tex | 23 +
tools/sgen/documentation/usage.tex | 112 ++
tools/sgen/examples/disj.c | 30 +
tools/sgen/examples/disj.cocci | 22 +
tools/sgen/examples/disj.config | 9 +
tools/sgen/examples/inherited.c | 11 +
tools/sgen/examples/inherited.cocci | 29 +
tools/sgen/examples/inherited.config | 17 +
tools/sgen/examples/local.c | 11 +
tools/sgen/examples/local.cocci | 13 +
tools/sgen/examples/local.config | 6 +
tools/sgen/examples/tiny.c | 4 +
tools/sgen/examples/tiny.cocci | 8 +
tools/sgen/examples/tiny.config | 11 +
tools/sgen/scripts/sgen.sh.in | 7 +
tools/sgen/source/Makefile | 108 ++
tools/sgen/source/ast_tostring.ml | 118 ++
tools/sgen/source/ast_tostring.mli | 21 +
tools/sgen/source/context_rule.ml | 73 ++
tools/sgen/source/context_rule.mli | 25 +
tools/sgen/source/detect_patch.ml | 150 +++
tools/sgen/source/detect_patch.mli | 33 +
tools/sgen/source/disj_generator.ml | 143 +++
tools/sgen/source/disj_generator.mli | 82 ++
tools/sgen/source/file_transform.ml | 255 +++++
tools/sgen/source/file_transform.mli | 21 +
tools/sgen/source/generator_types.ml | 252 +++++
tools/sgen/source/generator_types.mli | 84 ++
tools/sgen/source/globals.ml | 140 +++
tools/sgen/source/globals.mli | 65 ++
tools/sgen/source/main.ml | 134 +++
tools/sgen/source/meta_variable.ml | 447 ++++++++
tools/sgen/source/meta_variable.mli | 32 +
tools/sgen/source/position_generator.ml | 422 +++++++
tools/sgen/source/position_generator.mli | 31 +
tools/sgen/source/rule_body.ml | 260 +++++
tools/sgen/source/rule_body.mli | 33 +
tools/sgen/source/rule_header.ml | 120 ++
tools/sgen/source/rule_header.mli | 57 +
tools/sgen/source/script_rule.ml | 123 ++
tools/sgen/source/script_rule.mli | 45 +
tools/sgen/source/sgen_config.ml | 108 ++
tools/sgen/source/sgen_config.mli | 57 +
tools/sgen/source/sgen_interactive.ml | 183 +++
tools/sgen/source/sgen_interactive.mli | 21 +
tools/sgen/source/sgen_lexer.mll | 103 ++
tools/sgen/source/user_input.ml | 199 ++++
tools/sgen/source/user_input.mli | 63 ++
tools/splitpatch.ml | 71 +-
tools/spp.ml | 2 +-
version | 2 +-
375 files changed, 10606 insertions(+), 3114 deletions(-)
create mode 100644 parsing_cocci/dpll.ml
copy engine/lib_matcher_c.ml => parsing_cocci/dpll.mli (91%)
create mode 100644 tests/addifelse.c
create mode 100644 tests/addifelse.cocci
create mode 100644 tests/addifelse.res
create mode 100644 tests/addifelse2.c
create mode 100644 tests/addifelse2.cocci
create mode 100644 tests/addifelse2.res
create mode 100644 tests/cr.res
create mode 100644 tests/elsify.c
create mode 100644 tests/elsify.cocci
create mode 100644 tests/elsify.res
create mode 100644 tests/endpos.c
create mode 100644 tests/endpos.cocci
create mode 100644 tests/endpos.res
create mode 100644 tests/idstr.c
create mode 100644 tests/idstr.cocci
create mode 100644 tests/idstr.res
create mode 100644 tests/ifafter.c
create mode 100644 tests/ifafter.cocci
create mode 100644 tests/ifgoto.c
create mode 100644 tests/ifgoto.cocci
create mode 100644 tests/ifgoto.res
create mode 100644 tests/mincom.c
create mode 100644 tests/mincom.cocci
create mode 100644 tests/mincom.res
create mode 100644 tests/multidecl3.c
create mode 100644 tests/multidecl3.cocci
create mode 100644 tests/multidecl3.res
create mode 100644 tests/noret.c
create mode 100644 tests/noret.cocci
create mode 100644 tests/noret.res
create mode 100644 tests/noty2.c
copy tests/{com.cocci => noty2.cocci} (100%)
create mode 100644 tests/noty2.res
create mode 100644 tests/remparam.c
create mode 100644 tests/remparam.cocci
create mode 100644 tests/remparam.res
create mode 100644 tests/rems.c
create mode 100644 tests/rems.cocci
create mode 100644 tests/rems.res
create mode 100644 tests/rems1.c
create mode 100644 tests/rems1.cocci
create mode 100644 tests/rems1.res
create mode 100644 tests/unelse.c
create mode 100644 tests/unelse.cocci
create mode 100644 tests/unelse.res
create mode 100644 tools/sgen/Makefile
create mode 100644 tools/sgen/README.md
create mode 100644 tools/sgen/documentation/about.tex
create mode 100755 tools/sgen/documentation/documentation.tex
create mode 100644 tools/sgen/documentation/future.tex
create mode 100644 tools/sgen/documentation/implementation.tex
create mode 100644 tools/sgen/documentation/knownissues.tex
create mode 100644 tools/sgen/documentation/usage.tex
create mode 100644 tools/sgen/examples/disj.c
create mode 100644 tools/sgen/examples/disj.cocci
create mode 100644 tools/sgen/examples/disj.config
create mode 100644 tools/sgen/examples/inherited.c
create mode 100644 tools/sgen/examples/inherited.cocci
create mode 100644 tools/sgen/examples/inherited.config
create mode 100644 tools/sgen/examples/local.c
create mode 100644 tools/sgen/examples/local.cocci
create mode 100644 tools/sgen/examples/local.config
create mode 100644 tools/sgen/examples/tiny.c
create mode 100644 tools/sgen/examples/tiny.cocci
create mode 100644 tools/sgen/examples/tiny.config
create mode 100755 tools/sgen/scripts/sgen.sh.in
create mode 100644 tools/sgen/source/Makefile
create mode 100644 tools/sgen/source/ast_tostring.ml
create mode 100644 tools/sgen/source/ast_tostring.mli
create mode 100644 tools/sgen/source/context_rule.ml
create mode 100644 tools/sgen/source/context_rule.mli
create mode 100644 tools/sgen/source/detect_patch.ml
create mode 100644 tools/sgen/source/detect_patch.mli
create mode 100644 tools/sgen/source/disj_generator.ml
create mode 100644 tools/sgen/source/disj_generator.mli
create mode 100644 tools/sgen/source/file_transform.ml
create mode 100644 tools/sgen/source/file_transform.mli
create mode 100644 tools/sgen/source/generator_types.ml
create mode 100644 tools/sgen/source/generator_types.mli
create mode 100644 tools/sgen/source/globals.ml
create mode 100644 tools/sgen/source/globals.mli
create mode 100644 tools/sgen/source/main.ml
create mode 100644 tools/sgen/source/meta_variable.ml
create mode 100644 tools/sgen/source/meta_variable.mli
create mode 100644 tools/sgen/source/position_generator.ml
create mode 100644 tools/sgen/source/position_generator.mli
create mode 100644 tools/sgen/source/rule_body.ml
create mode 100644 tools/sgen/source/rule_body.mli
create mode 100644 tools/sgen/source/rule_header.ml
create mode 100644 tools/sgen/source/rule_header.mli
create mode 100644 tools/sgen/source/script_rule.ml
create mode 100644 tools/sgen/source/script_rule.mli
create mode 100644 tools/sgen/source/sgen_config.ml
create mode 100644 tools/sgen/source/sgen_config.mli
create mode 100644 tools/sgen/source/sgen_interactive.ml
create mode 100644 tools/sgen/source/sgen_interactive.mli
create mode 100644 tools/sgen/source/sgen_lexer.mll
create mode 100644 tools/sgen/source/user_input.ml
create mode 100644 tools/sgen/source/user_input.mli
--
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