[Pkg-ocaml-maint-commits] [coccinelle] branch master updated (a62d1ba -> d67ed43)
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Tue Apr 15 19:05:33 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 a62d1ba New patch:
new 3ea6f66 Imported Upstream version 1.0.0~rc21.deb
new 2558ef0 Merge tag 'upstream/1.0.0_rc21.deb'
new bf7513b New upstream RC
new e5de087 Updated patches:
new ca864cd debian/rules: call 'pdf' target to build the documentation
new f950ab4 Removed patches:
new d67ed43 Fix version number
The 7 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 | 1 +
Makefile.dev | 29 +--
Makefile.release | 2 +-
changes.txt | 19 ++
commons/common.ml | 2 -
configure | 20 +-
debian/changelog | 11 ++
debian/patches/pdf-docs-build.diff | 16 +-
debian/patches/series | 1 -
debian/patches/whitespace-fix.diff | 19 --
debian/rules | 2 +-
demos/ctr_unit_test.cocci | 4 +-
demos/first.cocci | 2 +-
demos/initial_final.cocci | 2 +
demos/iteration.cocci | 1 +
demos/ocaml1.cocci | 2 +
demos/orgmode.cocci | 1 +
demos/python_regexp.cocci | 1 +
docs/manual/Makefile | 34 ++--
docs/manual/spatch_options.tex | 5 +
engine/asttoctl2.ml | 63 ++++---
engine/check_exhaustive_pattern.ml | 1 +
engine/check_reachability.ml | 2 +-
engine/cocci_vs_c.ml | 73 +++++++-
engine/cocci_vs_c.mli | 12 +-
engine/ctlcocci_integration.ml | 8 +-
engine/ctltotex.ml | 1 +
engine/lib_engine.ml | 4 +-
engine/pattern_c.ml | 1 +
engine/pretty_print_engine.ml | 1 +
engine/transformation_c.ml | 10 +-
main.ml | 19 +-
ocaml/yes_prepare_ocamlcocci.ml | 5 +-
parsing_c/ast_c.ml | 8 +-
parsing_c/control_flow_c.ml | 23 ++-
parsing_c/control_flow_c.mli | 15 +-
parsing_c/control_flow_c_build.ml | 140 ++++++++++----
parsing_c/lexer_c.mll | 1 +
parsing_c/lib_parsing_c.ml | 2 +
parsing_c/parse_c.ml | 36 +++-
parsing_c/parser_c.mly | 78 +++++++-
parsing_c/parsing_consistency_c.ml | 2 +-
parsing_c/parsing_hacks.ml | 2 +-
parsing_c/pretty_print_c.ml | 16 +-
parsing_c/token_helpers.ml | 2 +
parsing_c/type_annoter_c.ml | 3 +-
parsing_c/unparse_c.ml | 340 ++++++++++++----------------------
parsing_c/unparse_cocci.ml | 15 +-
parsing_c/visitor_c.ml | 32 +++-
parsing_c/visitor_c.mli | 7 +
parsing_cocci/adjust_pragmas.ml | 3 +
parsing_cocci/arity.ml | 29 +++
parsing_cocci/ast0_cocci.ml | 11 ++
parsing_cocci/ast0_cocci.mli | 11 ++
parsing_cocci/ast0toast.ml | 16 +-
parsing_cocci/ast0toast.mli | 1 +
parsing_cocci/ast_cocci.ml | 11 ++
parsing_cocci/ast_cocci.mli | 10 +
parsing_cocci/check_meta.ml | 12 +-
parsing_cocci/compute_lines.ml | 43 ++++-
parsing_cocci/context_neg.ml | 18 +-
parsing_cocci/disjdistr.ml | 1 +
parsing_cocci/flag_parsing_cocci.ml | 4 +
parsing_cocci/function_prototypes.ml | 4 +-
parsing_cocci/get_constants2.ml | 21 ++-
parsing_cocci/get_metas.ml | 21 +++
parsing_cocci/index.ml | 10 +-
parsing_cocci/index.mli | 1 +
parsing_cocci/insert_plus.ml | 19 +-
parsing_cocci/iso_compile.ml | 2 +-
parsing_cocci/iso_pattern.ml | 19 +-
parsing_cocci/lexer_cocci.mll | 3 +
parsing_cocci/parse_aux.ml | 138 +++++++++++---
parsing_cocci/parse_cocci.ml | 52 ++++--
parsing_cocci/parser_cocci_menhir.mly | 100 +++++++++-
parsing_cocci/pretty_print_cocci.ml | 12 ++
parsing_cocci/pretty_print_cocci.mli | 2 +
parsing_cocci/single_statement.ml | 5 +-
parsing_cocci/unify_ast.ml | 18 ++
parsing_cocci/unparse_ast0.ml | 12 ++
parsing_cocci/visitor_ast.ml | 30 +++
parsing_cocci/visitor_ast0.ml | 52 +++++-
parsing_cocci/visitor_ast0.mli | 2 +
parsing_cocci/visitor_ast0_types.ml | 6 +
python/coccilib/xml_firehose.py | 2 +-
python/coccipython.a | Bin 25316 -> 25068 bytes
python/coccipython.cmxa | Bin 2577 -> 2652 bytes
tests/SCORE_expected.sexp | Bin 15571 -> 15788 bytes
tests/SCORE_expected_orig.sexp | Bin 15571 -> 15788 bytes
tests/addtrace.res | 25 +++
tests/boolr.c | 4 +
tests/boolr.cocci | 5 +
tests/{comments.c => boolr.res} | 4 +-
tests/ifreturn.c | 31 ++++
tests/ifreturn.cocci | 8 +
tests/ifreturn.res | 46 +++++
tests/ifreturn3.c | 17 ++
tests/{ip.cocci => ifreturn3.cocci} | 2 +-
tests/ifreturn3.res | 22 +++
tests/ifreturn4.c | 11 ++
tests/{ip.cocci => ifreturn4.cocci} | 2 +-
tests/ifreturn4.res | 17 ++
tests/ifreturn6.c | 11 ++
tests/ifreturn6.cocci | 9 +
tests/ifreturn6.res | 12 ++
tests/introbrace.c | 8 +
tests/introbrace.cocci | 6 +
tests/introbrace.res | 12 ++
tests/{ktype.c => ktype2.c} | 5 +-
tests/{ktype.cocci => ktype2.cocci} | 2 +-
tests/{ktype.res => ktype2.res} | 4 +-
tests/noa.c | 7 +
tests/noa.cocci | 9 +
tests/noa.res | 7 +
tests/test_exec.c | 10 +
tests/test_exec.cocci | 64 +++++++
tools/distributed/cleanup.ml | 5 +-
tools/splitpatch.ml | 78 +++++---
version | 2 +-
119 files changed, 1693 insertions(+), 549 deletions(-)
delete mode 100644 debian/patches/whitespace-fix.diff
create mode 100644 tests/addtrace.res
create mode 100644 tests/boolr.c
create mode 100644 tests/boolr.cocci
copy tests/{comments.c => boolr.res} (50%)
create mode 100644 tests/ifreturn.c
create mode 100644 tests/ifreturn.cocci
create mode 100644 tests/ifreturn.res
create mode 100644 tests/ifreturn3.c
copy tests/{ip.cocci => ifreturn3.cocci} (73%)
create mode 100644 tests/ifreturn3.res
create mode 100644 tests/ifreturn4.c
copy tests/{ip.cocci => ifreturn4.cocci} (73%)
create mode 100644 tests/ifreturn4.res
create mode 100644 tests/ifreturn6.c
create mode 100644 tests/ifreturn6.cocci
create mode 100644 tests/ifreturn6.res
create mode 100644 tests/introbrace.c
create mode 100644 tests/introbrace.cocci
create mode 100644 tests/introbrace.res
copy tests/{ktype.c => ktype2.c} (73%)
copy tests/{ktype.cocci => ktype2.cocci} (97%)
copy tests/{ktype.res => ktype2.res} (83%)
create mode 100644 tests/noa.c
create mode 100644 tests/noa.cocci
create mode 100644 tests/noa.res
create mode 100644 tests/test_exec.c
create mode 100644 tests/test_exec.cocci
--
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