[Pkg-ocaml-maint-commits] [coccinelle] 03/05: Merge tag 'upstream/1.0.6.deb'
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Sun Nov 27 18:23:29 UTC 2016
This is an automated email from the git hooks/post-receive script.
eugen pushed a commit to branch master
in repository coccinelle.
commit 0f5ceb31bfda57a179507cb5aa0c13ece280bcab
Merge: d07677a 83e4641
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date: Sun Nov 27 19:10:05 2016 +0100
Merge tag 'upstream/1.0.6.deb'
Upstream version 1.0.6.deb
Makefile | 67 +-
Makefile.config.in | 43 +-
Makefile.libs | 30 +-
Makefile.release | 14 +-
autogen | 10 +-
changes.txt | 77 +
cocci.ml | 567 ++--
cocci.mli | 2 +-
commons/Makefile | 36 +-
commons/bytes.ml | 255 --
commons/bytes.mli | 406 ---
commons/common.ml | 126 +-
commons/common.mli | 42 +-
commons/glimpse.ml | 149 -
commons/interfaces.ml | 194 --
commons/oarray.ml | 47 -
commons/oarray.mli | 30 -
commons/oassoc.ml | 56 -
commons/oassoc.mli | 25 -
commons/objet.ml | 29 -
commons/objet.mli | 18 -
commons/ocamlextra/dumper.ml | 3 +-
commons/ocamlextra/dynArray.ml | 448 ---
commons/ocamlextra/dynArray.mli | 281 --
commons/ocamlextra/enum.ml | 376 ---
commons/ocamlextra/enum.mli | 201 --
commons/ocamlextra/mapb.ml | 144 -
commons/ocamlextra/setPt.ml | 346 ---
commons/ocamlextra/setb.ml | 299 --
commons/ocamlextra/setb.mli | 159 -
commons/ocamlextra/suffix_tree.ml | 315 --
commons/ocamlextra/suffix_tree.mli | 90 -
commons/ocamlextra/suffix_tree_ext.ml | 332 ---
commons/ocamlextra/suffix_tree_ext.mli | 98 -
commons/ocollection.ml | 117 -
commons/ocollection.mli | 38 -
commons/ocollection/oassocb.ml | 26 -
commons/ocollection/osetb.ml | 36 -
commons/ograph.ml | 30 -
commons/ograph.mli | 21 -
commons/ograph_extended.ml | 475 +--
commons/ograph_extended.mli | 147 +-
commons/ograph_simple.ml | 267 +-
commons/ograph_simple.mli | 89 +-
commons/osequence.ml | 12 -
commons/osequence.mli | 8 -
commons/oset.ml | 49 -
commons/oset.mli | 28 -
commons/parser_combinators.ml | 370 ---
commons/parser_combinators.mli | 154 -
commons/seti.ml | 348 ---
configure | 3136 ++------------------
configure.ac | 186 +-
ctl/Makefile | 1 +
ctl/ctl_engine.ml | 38 +-
ctl/ctl_engine.mli | 7 +-
ctl/pretty_print_ctl.ml | 2 +-
demos/exists1.c | 19 +
demos/exists1.cocci | 9 +
demos/exists1.res | 19 +
demos/exists2.c | 20 +
demos/exists2.cocci | 13 +
demos/exists2.res | 22 +
demos/exists3.c | 20 +
demos/exists3.cocci | 12 +
demos/exists3.res | 22 +
demos/exists4.c | 21 +
demos/exists4.cocci | 13 +
demos/exists4.res | 20 +
demos/localidexpression.c | 6 +
demos/localidexpression.cocci | 6 +
demos/localidexpression.res | 6 +
demos/plusplus1.c | 4 +
demos/plusplus1.cocci | 17 +
demos/plusplus1.res | 5 +
demos/plusplus2.c | 7 +
demos/plusplus2.cocci | 26 +
demos/plusplus2.res | 10 +
demos/poscon.c | 9 +
demos/poscon.cocci | 21 +
demos/python_iteration.c | 13 +
demos/python_iteration.cocci | 107 +
demos/video_usercopy.cocci | 2 +-
docs/Coccilib.3cocci | 17 +-
docs/Makefile | 1 +
docs/dev/modules | 180 ++
docs/manual/Makefile | 7 +-
docs/manual/cocci_syntax.tex | 539 +++-
docs/manual/flow1.c | 10 +
docs/manual/flow2.c | 11 +
docs/manual/main.tex | 9 +-
docs/manual/spatch_options.tex | 80 +-
docs/pycocci.1 | 38 +-
docs/spatch.1.in | 49 +-
docs/spgen.1 | 2 +-
engine/Makefile | 11 +-
engine/asttoctl2.ml | 18 +-
engine/asttomember.ml | 10 +-
engine/check_reachability.ml | 39 +-
engine/check_reachability.mli | 8 +-
engine/cocci_vs_c.ml | 401 +--
engine/cocci_vs_c.mli | 3 +
engine/ctlcocci_integration.ml | 60 +-
engine/ctlcocci_integration.mli | 4 +-
engine/isomorphisms_c_c.ml | 2 +-
engine/lib_engine.ml | 8 +-
engine/pattern_c.ml | 45 +-
engine/postprocess_transinfo.mli | 4 +-
engine/pretty_print_engine.ml | 3 +-
engine/transformation_c.ml | 12 +-
extra/Makefile | 1 +
flag_cocci.ml | 20 -
globals/Makefile | 1 +
globals/config.ml.in | 3 +
globals/flag.ml | 8 +-
install.txt | 30 +-
license.txt | 42 +-
main.ml | 382 ++-
ocaml/Makefile | 10 +-
ocaml/Makefile.doc | 1 +
ocaml/coccilib.ml | 16 +-
ocaml/exposed_modules.ml | 1 -
{engine => ocaml}/externalanalysis.ml | 0
{engine => ocaml}/externalanalysis.mli | 0
ocaml/no_prepare_ocamlcocci.ml | 2 +-
ocaml/ocamlcocci_aux.ml | 2 +
ocaml/run_ocamlcocci.ml | 39 +-
ocaml/run_ocamlcocci.mli | 5 +
ocaml/yes_prepare_ocamlcocci.ml | 101 +-
parsing_c/Makefile | 8 +-
parsing_c/ast_c.ml | 6 +-
parsing_c/compare_c.ml | 12 +-
parsing_c/control_flow_c.ml | 66 +-
parsing_c/control_flow_c.mli | 22 +-
parsing_c/control_flow_c_build.ml | 98 +-
parsing_c/cpp_analysis_c.ml | 116 +-
parsing_c/cpp_ast_c.ml | 4 +-
parsing_c/cpp_token_c.ml | 14 +-
parsing_c/cpp_token_c.mli | 1 +
parsing_c/includes.ml | 169 ++
parsing_c/includes.mli | 49 +
parsing_c/lexer_c.mll | 16 +-
parsing_c/lib_parsing_c.ml | 4 +
parsing_c/parse_c.ml | 116 +-
parsing_c/parse_c.mli | 22 +-
parsing_c/parser_c.mly | 150 +-
parsing_c/parsing_hacks.ml | 20 +-
parsing_c/pretty_print_c.ml | 187 +-
parsing_c/pretty_print_c.mli | 14 +-
parsing_c/test_parsing_c.ml | 24 +-
parsing_c/token_helpers.ml | 9 +-
parsing_c/type_annoter_c.ml | 12 +-
parsing_c/type_c.ml | 2 +-
parsing_c/unparse_c.ml | 151 +-
parsing_c/unparse_cocci.ml | 31 +-
parsing_c/unparse_hrule.ml | 20 +-
parsing_c/visitor_c.ml | 55 +-
parsing_c/visitor_c.mli | 4 +
parsing_cocci/Makefile | 18 +-
parsing_cocci/arity.ml | 10 +-
parsing_cocci/ast0_cocci.ml | 288 +-
parsing_cocci/ast0_cocci.mli | 60 +-
parsing_cocci/ast0toast.ml | 81 +-
parsing_cocci/ast0toast.mli | 4 +-
parsing_cocci/ast_cocci.ml | 476 ++-
parsing_cocci/ast_cocci.mli | 160 +-
parsing_cocci/check_meta.ml | 27 +-
parsing_cocci/comm_assoc.ml | 18 +-
parsing_cocci/compute_lines.ml | 7 +-
parsing_cocci/context_neg.ml | 36 +-
parsing_cocci/data.ml | 162 +-
parsing_cocci/data.mli | 117 +-
parsing_cocci/disjdistr.ml | 14 +-
parsing_cocci/free_vars.ml | 281 +-
parsing_cocci/free_vars.mli | 3 +-
parsing_cocci/function_prototypes.ml | 8 +-
parsing_cocci/get_constants2.ml | 197 +-
parsing_cocci/get_constants2.mli | 4 +-
parsing_cocci/get_metas.ml | 2 +-
parsing_cocci/id_utils.ml | 97 +-
parsing_cocci/id_utils.mli | 2 +-
parsing_cocci/index.ml | 3 +-
parsing_cocci/index.mli | 1 +
parsing_cocci/insert_plus.ml | 87 +-
parsing_cocci/iso_compile.ml | 43 +-
parsing_cocci/iso_pattern.ml | 244 +-
parsing_cocci/lexer_cocci.mll | 47 +-
parsing_cocci/parse_aux.ml | 57 +-
parsing_cocci/parse_cocci.ml | 221 +-
parsing_cocci/parse_cocci.mli | 14 +-
parsing_cocci/parser_cocci_menhir.mly | 338 ++-
parsing_cocci/pretty_print_cocci.ml | 142 +-
parsing_cocci/safe_for_multi_decls.ml | 7 +-
parsing_cocci/simple_assignments.ml | 3 +-
parsing_cocci/single_statement.ml | 11 +-
parsing_cocci/stmtlist.ml | 2 +-
parsing_cocci/top_level.ml | 2 +-
parsing_cocci/type_cocci.ml | 141 -
parsing_cocci/type_infer.ml | 261 +-
parsing_cocci/unify_ast.ml | 423 +--
parsing_cocci/unify_ast.mli | 11 +
parsing_cocci/unitary_ast0.ml | 57 +-
parsing_cocci/unparse_ast0.ml | 27 +-
parsing_cocci/unparse_ast0.mli | 1 +
parsing_cocci/visitor_ast.ml | 22 +-
parsing_cocci/visitor_ast.mli | 2 +
parsing_cocci/visitor_ast0.ml | 56 +-
parsing_cocci/visitor_ast0.mli | 2 +
parsing_cocci/visitor_ast0_types.ml | 19 +-
popl/Makefile | 1 +
popl/popltoctl.ml | 1 +
popl09/Makefile | 1 +
popl09/popltoctl.ml | 2 +-
python/Makefile | 5 +-
python/coccilib/Makefile | 1 +
python/coccilib/coccigui/coccigui.py | 20 +-
python/coccilib/coccigui/vimcom.py | 2 +-
python/coccilib/elems.py | 52 +-
python/coccilib/iteration.py | 50 +
python/coccilib/org.py | 36 +-
python/coccilib/output.py | 208 +-
python/coccilib/report.py | 4 +-
python/coccilib/trac.py | 10 +-
python/coccipython.cmxa | Bin 2653 -> 0 bytes
python/no_pycocci.ml | 3 +
python/pycocci.mli | 13 +-
python/pycocci_aux.ml | 2 +
python/yes_pycocci.ml | 334 ++-
release.nix | 610 ----
scripts/pycocci-check.sh | 8 +
scripts/spatch.bash_completion | 2 +-
scripts/spatch.sh.in | 2 +-
setup/Makefile.in | 3 -
setup/cocci.m4 | 2 +-
standard.h | 2 +
standard.iso | 39 +-
testing.ml | 191 +-
testing.mli | 2 +-
tests/SCORE_expected.sexp | Bin 16740 -> 0 bytes
tests/SCORE_expected_orig.sexp | Bin 16740 -> 0 bytes
tests/caseprint.c | 6 +
tests/caseprint.cocci | 9 +
tests/caseprint.res | 12 +
tests/compare_const2.c | 6 +
tests/compare_const2.cocci | 37 +
tests/compare_const2.res | 6 +
tests/idcon_ocaml.c | 5 +
tests/idcon_ocaml.cocci | 14 +
tests/idcon_ocaml.res | 5 +
tests/idcon_python.c | 5 +
tests/idcon_python.cocci | 14 +
tests/idcon_python.res | 5 +
tests/ifexpfile.c | 5 +
tests/ifexpfile.cocci | 14 +
tests/incl2.c | 5 +
tests/incl2.cocci | 5 +
tests/incl2.res | 6 +
tests/includes-bug-2.c | 11 +
tests/includes-bug-3.c | 11 +
tests/includes-bug-3.h | 6 +
tests/includes-bug.c | 11 +
tests/includes-bug.cocci | 5 +
tests/includes-bug.h | 1 +
tests/incpos.cocci | 10 +-
tests/incpos1.cocci | 10 +-
tests/iteration.c | 7 +
tests/iteration.cocci | 41 +
tests/iteration.res | 7 +
tests/iteration.stdout | 1 +
tests/long.c | 4 +
tests/long.cocci | 14 +
tests/long.res | 4 +
tests/mdeclp.cocci | 2 +-
tests/mdeclp2.cocci | 2 +-
tests/op.c | 8 +
tests/op.cocci | 8 +
tests/op.res | 7 +
tests/output.c | 1 +
tests/output.cocci | 11 +
tests/output.res | 1 +
tests/output.stdout | 1 +
tests/output_init.c | 3 +
tests/output_init.cocci | 10 +
tests/output_init.res | 3 +
tests/parenmac.c | 1 +
tests/parenmac.cocci | 11 +
tests/parenmac.res | 1 +
tests/pcomma.c | 14 +
tests/pcomma.cocci | 17 +
tests/pcomma.res | 14 +
tests/poscon.c | 9 +
tests/poscon.cocci | 21 +
tests/poscon.res | 9 +
tests/pycocci/code/0001-proto3/proto3.c | 7 +
tests/pycocci/code/0001-proto3/proto3.h | 3 +
tests/pycocci/patches/0001-proto3.cocci | 11 +
.../0001-proto3/0001-change-prototypes.patch | 18 +
tests/python_iteration.c | 7 +
tests/python_iteration.cocci | 40 +
tests/python_iteration.res | 7 +
tests/python_iteration.stdout | 1 +
tests/python_mdecl.c | 5 +
tests/python_mdecl.cocci | 29 +
tests/python_mdecl.res | 4 +
tests/python_mdeclp.c | 2 +
tests/python_mdeclp.cocci | 12 +
tests/python_mdeclp.res | 2 +
tests/python_poscon.c | 9 +
tests/python_poscon.cocci | 21 +
tests/python_poscon.res | 9 +
tests/remove-code-in-branch1.c | 7 +
tests/remove-code-in-branch1.cocci | 4 +
tests/remove-code-in-branch1.res | 7 +
tests/scope_id_1.c | 14 +
tests/scope_id_1.cocci | 29 +
tests/scope_id_2.c | 10 +
tests/scope_id_2.cocci | 29 +
tests/scope_id_3.c | 6 +
tests/scope_id_3.cocci | 29 +
tools/Makefile | 1 +
tools/distributed/Makefile | 4 +-
tools/distributed/spatch_linux.c | 4 +-
tools/pycocci | 89 +-
tools/spgen/Makefile | 24 +-
tools/spgen/documentation/Makefile | 28 +-
tools/spgen/documentation/about.tex | 11 +-
tools/spgen/documentation/documentation.tex | 10 +-
tools/spgen/documentation/future.tex | 2 +-
tools/spgen/documentation/implementation.tex | 18 +-
tools/spgen/documentation/knownissues.tex | 27 +-
tools/spgen/documentation/usage.tex | 23 +-
tools/spgen/scripts/spgen.sh.in | 18 +-
tools/spgen/source/Makefile | 50 +-
tools/spgen/source/ast_tostring.ml | 22 +-
tools/spgen/source/context_rule.ml | 26 +-
tools/spgen/source/context_rule.mli | 2 +
tools/spgen/source/detect_patch.ml | 4 +-
tools/spgen/source/file_transform.ml | 4 +-
tools/spgen/source/globals.ml | 17 +-
tools/spgen/source/globals.mli | 2 +
tools/spgen/source/meta_variable.ml | 164 +-
tools/spgen/source/meta_variable.mli | 7 +-
tools/spgen/source/position_generator.ml | 80 +-
tools/spgen/source/rule_body.ml | 42 +-
tools/spgen/source/rule_header.ml | 9 +-
tools/spgen/source/script_rule.ml | 20 +-
tools/spgen/source/spgen.ml | 10 +-
tools/spgen/source/spgen.mli | 2 +
tools/spgen/source/spgen_config.ml | 2 +-
tools/spgen/source/spgen_config.mli | 1 +
tools/spgen/source/spgen_interactive.ml | 2 +-
tools/spgen/source/spgen_test.ml | 4 +-
tools/spgen/source/user_input.ml | 6 +-
tools/spgen/source/user_input.mli | 2 +-
tools/spgen/tests/addvoid.expected | 4 +-
tools/spgen/tests/definepos.cocci | 9 +
tools/spgen/tests/definepos.config | 3 +
tools/spgen/tests/definepos.expected | 67 +
tools/spgen/tests/disj.expected | 2 +-
tools/spgen/tests/divr.cocci | 23 +
tools/spgen/tests/divr.config | 3 +
tools/spgen/tests/divr.expected | 104 +
tools/spgen/tests/include.expected | 24 +-
tools/spgen/tests/inherited.expected | 18 +-
tools/spgen/tests/tiny.expected | 4 +-
tools/splitpatch.ml | 292 +-
version | 2 +-
367 files changed, 9181 insertions(+), 13797 deletions(-)
--
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