[Pkg-ocaml-maint-commits] [coccinelle] branch master updated (f762ed0 -> 18fd17e)
Eugeniy Meshcheryakov
eugen at alioth.debian.org
Sun Aug 25 21:39:18 UTC 2013
This is an automated email from the git hooks/post-receive script.
eugen pushed a change to branch master
in repository coccinelle.
from f762ed0 Upload to unstable
new 79dab3d Imported Upstream version 1.0.0~rc18.deb
new bb44e58 Merge tag 'upstream/1.0.0_rc18.deb'
new fae29a7 New upstream RC
new 18fd17e Standards-Version 3.9.4 — 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 | 87 +++----
Makefile.config.in | 1 +
changes.txt | 26 +-
cocci.ml | 25 +-
commons/common.ml | 48 ++--
commons/common.mli | 12 +-
commons/glimpse.ml | 10 +-
commons/interfaces.ml | 4 +-
commons/objet.ml | 2 +-
commons/ocamlextra/ANSITerminal.ml | 2 +-
commons/ocamlextra/ANSITerminal.mli | 8 +-
commons/ocamlextra/dynArray.mli | 2 +-
commons/ocamlextra/suffix_tree.ml | 2 +-
commons/ocamlextra/suffix_tree_ext.ml | 2 +-
commons/ocollection.ml | 6 +-
commons/ocollection/oassoc_buffer.ml | 4 +-
commons/ocollection/oassoc_cache.ml | 4 +-
commons/ocollection/oassocdbm.ml | 10 +-
commons/ograph_simple.ml | 2 +-
commons/oset.ml | 4 +-
commons/parser_combinators.mli | 6 +-
commons/readme.txt | 2 +-
commons/seti.ml | 10 +-
configure | 269 ++++++++++++++++++--
configure.ac | 8 +
debian/changelog | 7 +
debian/control | 2 +-
demos/demo_rule9/g_NCR5380.c | 4 +-
demos/demo_rule9/nsp_cs.c | 12 +-
demos/demo_rule9/scsiglue.c | 4 +-
demos/demo_rule9/sym53c8xx.c | 56 ++--
docs/manual/Makefile | 3 +
docs/manual/cocci_syntax.tex | 29 ++-
docs/manual/license.txt | 2 +-
docs/manual/spatch_options.tex | 22 +-
engine/asttoctl2.ml | 16 +-
engine/check_exhaustive_pattern.ml | 3 +
engine/cocci_vs_c.ml | 189 ++++++++++++--
engine/cocci_vs_c.mli | 6 +
engine/ctlcocci_integration.ml | 2 +-
engine/externalanalysis.ml | 4 +-
engine/pattern_c.ml | 44 +++-
engine/transformation_c.ml | 38 ++-
globals/flag.ml | 1 +
main.ml | 27 +-
myocamlbuild.ml | 2 +-
ocaml/yes_prepare_ocamlcocci.ml | 2 +-
parsing_c/ast_c.ml | 33 +--
parsing_c/compare_c.ml | 2 +-
parsing_c/control_flow_c.ml | 9 +-
parsing_c/control_flow_c.mli | 2 +
parsing_c/control_flow_c_build.ml | 24 +-
parsing_c/cpp_ast_c.ml | 2 +-
parsing_c/cpp_token_c.ml | 6 +-
parsing_c/flag_parsing_c.ml | 2 +-
parsing_c/lexer_c.mll | 56 +++-
parsing_c/lib_parsing_c.ml | 5 +-
parsing_c/orig.mly | 6 +-
parsing_c/parse_c.ml | 2 +-
parsing_c/parser_c.mly | 29 ++-
parsing_c/parsing_hacks.ml | 38 ++-
parsing_c/parsing_stat.ml | 4 +-
parsing_c/pretty_print_c.ml | 40 ++-
parsing_c/test_parsing_c.ml | 2 +-
parsing_c/token_c.ml | 4 +-
parsing_c/token_helpers.ml | 21 +-
parsing_c/type_annoter_c.ml | 42 ++-
parsing_c/type_c.ml | 3 +-
parsing_c/unparse_c.ml | 34 +--
parsing_c/unparse_cocci.ml | 30 ++-
parsing_c/visitor_c.ml | 56 +++-
parsing_c/visitor_c.mli | 9 +-
parsing_cocci/adjust_pragmas.ml | 6 +
parsing_cocci/arity.ml | 40 +++
parsing_cocci/ast0_cocci.ml | 32 +++
parsing_cocci/ast0_cocci.mli | 13 +
parsing_cocci/ast0toast.ml | 21 +-
parsing_cocci/ast_cocci.ml | 23 +-
parsing_cocci/ast_cocci.mli | 23 +-
parsing_cocci/check_meta.ml | 37 ++-
parsing_cocci/compute_lines.ml | 32 ++-
parsing_cocci/context_neg.ml | 9 +-
parsing_cocci/disjdistr.ml | 16 ++
parsing_cocci/flag_parsing_cocci.ml | 2 +
parsing_cocci/free_vars.ml | 15 +-
parsing_cocci/function_prototypes.ml | 55 +++-
parsing_cocci/get_constants2.ml | 8 +-
parsing_cocci/get_metas.ml | 30 +++
parsing_cocci/id_utils.ml | 4 +-
parsing_cocci/index.ml | 10 +-
parsing_cocci/index.mli | 1 +
parsing_cocci/insert_plus.ml | 6 +-
parsing_cocci/iso_pattern.ml | 19 +-
parsing_cocci/lexer_cocci.mll | 32 ++-
parsing_cocci/parse_aux.ml | 2 +-
parsing_cocci/parse_cocci.ml | 68 +++--
parsing_cocci/parser_cocci_menhir.mly | 72 +++++-
parsing_cocci/pretty_print_cocci.ml | 26 +-
parsing_cocci/single_statement.ml | 9 +-
parsing_cocci/top_level.ml | 1 +
parsing_cocci/type_cocci.ml | 5 +
parsing_cocci/type_cocci.mli | 2 +
parsing_cocci/type_infer.ml | 10 +-
parsing_cocci/unify_ast.ml | 19 +-
parsing_cocci/unparse_ast0.ml | 19 ++
parsing_cocci/visitor_ast.ml | 45 +++-
parsing_cocci/visitor_ast0.ml | 45 ++++
python/coccilib/xml_firehose.py | 246 ++++++++++++++++++
python/coccipython.a | Bin 15844 -> 25580 bytes
python/coccipython.cmxa | Bin 2650 -> 2575 bytes
scripts/coccicheck/cocci/notand.h | 4 +-
scripts/idutils_index.sh | 3 +
setup/Makefile.in | 105 +++++---
setup/echo.sh | 3 +
standard.h | 4 +-
testing.ml | 4 +-
tests/SCORE_expected.sexp | Bin 13458 -> 13504 bytes
tests/SCORE_expected_orig.sexp | Bin 13458 -> 13504 bytes
tests/decmeta.c | 6 +
tests/decmeta.cocci | 40 +++
tests/dectest.c | 25 ++
tests/dectest.cocci | 19 ++
tests/gcc_min_max.cocci | 1 +
tests/labels_metastatement.c | 2 +-
tests/pragmatest.c | 17 ++
tests/pragmatest.cocci | 27 ++
tests/pragmatest.res | 10 +
tests/pragmatest1.c | 3 +
tests/pragmatest1.cocci | 4 +
tests/{inline.res => pragmatest1.res} | 0
tests/rptr.c | 6 +
tests/rptr.cocci | 5 +
tests/rptr.res | 4 +
tests/testifdef.c | 2 +-
{demos => tests/tests_firehose}/vm.c | 0
demos/vm.cocci => tests/tests_firehose/vm_fh.cocci | 4 +-
tests/tests_firehose/vm_fh.result | 19 ++
tools/distributed/spatch_linux.c | 2 +-
tools/splitpatch.ml | 121 ++++++++-
version | 2 +-
140 files changed, 2428 insertions(+), 509 deletions(-)
create mode 100644 python/coccilib/xml_firehose.py
create mode 100755 scripts/idutils_index.sh
create mode 100755 setup/echo.sh
create mode 100644 tests/decmeta.c
create mode 100644 tests/decmeta.cocci
create mode 100644 tests/dectest.c
create mode 100644 tests/dectest.cocci
create mode 100644 tests/pragmatest.c
create mode 100644 tests/pragmatest.cocci
create mode 100644 tests/pragmatest.res
create mode 100644 tests/pragmatest1.c
create mode 100644 tests/pragmatest1.cocci
copy tests/{inline.res => pragmatest1.res} (100%)
create mode 100644 tests/rptr.c
create mode 100644 tests/rptr.cocci
create mode 100644 tests/rptr.res
copy {demos => tests/tests_firehose}/vm.c (100%)
copy demos/vm.cocci => tests/tests_firehose/vm_fh.cocci (69%)
create mode 100644 tests/tests_firehose/vm_fh.result
--
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