[Pkg-ocaml-maint-commits] [coccinelle] 02/03: Merge tag 'upstream/1.0.0_rc19.deb'
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 commit to branch master
in repository coccinelle.
commit b597c01c9c835ff381f9b703e8435edeacb512c7
Merge: 97dfbf5 b34af91
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date: Thu Dec 5 21:43:03 2013 +0100
Merge tag 'upstream/1.0.0_rc19.deb'
Upstream version 1.0.0~rc19.deb
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 ++++++
.../{get_constants2.mli => cocci_grep.mli} | 13 +-
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 ++++
.../{get_constants2.mli => parse_printf.mli} | 13 +-
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 +
tests/branchparen.cocci | 5 +
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/cr1a.c | 20 +
tests/cr1a.cocci | 20 +
tests/cr1a.res | 23 +
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/minenum1.cocci | 12 +
tests/minenum1.res | 2 +
tests/multidec.c | 5 +
tests/multidec.cocci | 6 +
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/rem1.res | 4 +
tests/rem2.c | 5 +
tests/rem2.cocci | 4 +
tests/rem2.res | 4 +
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, 3388 insertions(+), 783 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