[Pkg-ocaml-maint-commits] [coccinelle] branch master updated (6f3fd1a -> d42539b)
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Tue May 26 21:09:06 UTC 2015
This is an automated email from the git hooks/post-receive script.
eugen pushed a change to branch master
in repository coccinelle.
from 6f3fd1a Update debian/gbp.conf
new 9324251 Imported Upstream version 1.0.0.deb
new 9d30847 Merge tag 'upstream/1.0.0.deb'
new 9d14973 New upstream release
new 1ba44a1 Remove patches:
new df658a9 Fix the Vcs-Git control field
new 3dede10 Remove patch from series
new 4f899af New patch:
new 3d26961 debian/coccinelle.maintscript - remove the obsolete bash completion file
new 1d6dc00 Build-depend on dh-python
new 91bbe52 Pre-depend on dpkg (>= 1.17.14)
new d42539b Fix bash completion file
The 11 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 | 12 +-
Makefile.config.in | 21 +-
Makefile.release | 2 +-
autogen | 3 +
changes.txt | 12 +
cocci.ml | 341 ++++++++++-----
cocci.mli | 2 +-
commons/common.ml | 10 +-
configure | 175 +++++++-
configure.ac | 5 +-
ctl/Makefile | 2 +-
ctl/ast_ctl.ml | 2 +-
ctl/ctl_engine.ml | 45 +-
ctl/ctl_engine.mli | 12 +-
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 | 22 +-
ctl/wrapper_ctl.mli | 7 +-
debian/changelog | 15 +
debian/coccinelle.maintscript | 1 +
debian/control | 6 +-
debian/patches/bash-completion-dir.diff | 21 +
debian/patches/no-parmap-subdir.diff | 29 --
debian/patches/series | 2 +-
docs/manual/cocci_syntax.tex | 27 +-
docs/manual/spatch_options.tex | 30 +-
docs/manual/tips.tex | 2 +
docs/spatch.1.in | 40 +-
engine/Makefile | 2 +-
engine/asttoctl.mli | 2 +-
engine/asttoctl2.ml | 53 ++-
engine/asttoctl2.mli | 2 +-
engine/asttomember.ml | 49 ++-
engine/asttomember.mli | 5 +-
engine/c_vs_c.ml | 2 +-
engine/c_vs_c.mli | 2 +-
engine/check_exhaustive_pattern.ml | 2 +-
engine/check_reachability.ml | 5 +-
engine/check_reachability.mli | 2 +-
engine/cocci_vs_c.ml | 297 +++++++++----
engine/cocci_vs_c.mli | 7 +-
engine/ctlcocci_integration.ml | 335 +++++++++-----
engine/ctlcocci_integration.mli | 3 +-
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 | 7 +-
engine/lib_matcher_c.ml | 2 +-
engine/lib_matcher_c.mli | 2 +-
engine/main.ml | 2 +-
engine/pattern_c.ml | 62 +--
engine/pattern_c.mli | 2 +-
engine/postprocess_transinfo.ml | 2 +-
engine/postprocess_transinfo.mli | 2 +-
engine/pretty_print_engine.ml | 8 +-
engine/pretty_print_engine.mli | 2 +-
engine/transformation_c.ml | 15 +-
engine/transformation_c.mli | 2 +-
flag_cocci.ml | 6 +-
globals/Makefile | 2 +-
globals/config.ml.in | 1 +
globals/flag.ml | 2 +-
globals/iteration.ml | 2 +-
globals/iteration.mli | 2 +-
globals/regexp_pcre.ml | 2 +-
globals/regexp_str.ml | 2 +-
main.ml | 52 ++-
ocaml/coccilib.ml | 2 +
ocaml/ocamlcocci_aux.ml | 2 +
ocaml/run_ocamlcocci.ml | 3 +-
ocaml/yes_prepare_ocamlcocci.ml | 6 +
parsing_c/ast_c.ml | 94 ++--
parsing_c/compare_c.ml | 32 +-
parsing_c/compare_c.mli | 3 +
parsing_c/control_flow_c_build.ml | 2 +-
parsing_c/lexer_c.mll | 33 +-
parsing_c/lib_parsing_c.ml | 2 +
parsing_c/parse_c.ml | 71 ++-
parsing_c/parser_c.mly | 48 +-
parsing_c/parsing_hacks.ml | 29 ++
parsing_c/pretty_print_c.ml | 35 +-
parsing_c/pretty_print_c.mli | 16 +
parsing_c/token_helpers.ml | 8 +-
parsing_c/token_helpers.mli | 1 +
parsing_c/type_annoter_c.ml | 12 +-
parsing_c/unparse_c.ml | 484 +++++++++++----------
parsing_c/unparse_cocci.ml | 169 +++----
parsing_c/unparse_hrule.ml | 11 +-
parsing_c/visitor_c.ml | 127 ++++--
parsing_c/visitor_c.mli | 10 +
parsing_cocci/Makefile | 2 +-
parsing_cocci/adjacency.ml | 8 +-
parsing_cocci/adjacency.mli | 2 +-
parsing_cocci/adjust_pragmas.ml | 2 +-
parsing_cocci/adjust_pragmas.mli | 2 +-
parsing_cocci/arity.ml | 25 +-
parsing_cocci/arity.mli | 2 +-
parsing_cocci/ast0_cocci.ml | 99 +++--
parsing_cocci/ast0_cocci.mli | 40 +-
parsing_cocci/ast0toast.ml | 39 +-
parsing_cocci/ast0toast.mli | 4 +-
parsing_cocci/ast_cocci.ml | 93 +++-
parsing_cocci/ast_cocci.mli | 46 +-
parsing_cocci/check_meta.ml | 29 +-
parsing_cocci/check_meta.mli | 2 +-
parsing_cocci/cocci_grep.ml | 2 +-
parsing_cocci/cocci_grep.mli | 2 +-
parsing_cocci/comm_assoc.ml | 24 +-
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 | 43 +-
parsing_cocci/compute_lines.mli | 2 +-
parsing_cocci/context_neg.ml | 56 ++-
parsing_cocci/context_neg.mli | 2 +-
parsing_cocci/data.ml | 12 +-
parsing_cocci/data.mli | 10 +-
parsing_cocci/disjdistr.ml | 38 +-
parsing_cocci/disjdistr.mli | 2 +-
parsing_cocci/dpll.ml | 2 +-
parsing_cocci/dpll.mli | 2 +-
parsing_cocci/flag_parsing_cocci.ml | 2 +-
parsing_cocci/free_vars.ml | 134 +++++-
parsing_cocci/free_vars.mli | 2 +-
parsing_cocci/function_prototypes.ml | 17 +-
parsing_cocci/function_prototypes.mli | 2 +-
parsing_cocci/get_constants.ml | 2 +-
parsing_cocci/get_constants.mli | 2 +-
parsing_cocci/get_constants2.ml | 28 +-
parsing_cocci/get_constants2.mli | 2 +-
parsing_cocci/get_metas.ml | 34 +-
parsing_cocci/get_metas.mli | 2 +-
parsing_cocci/id_utils.ml | 2 +-
parsing_cocci/id_utils.mli | 2 +-
parsing_cocci/index.ml | 14 +-
parsing_cocci/index.mli | 4 +-
parsing_cocci/insert_plus.ml | 96 ++--
parsing_cocci/insert_plus.mli | 2 +-
parsing_cocci/iso_compile.ml | 8 +-
parsing_cocci/iso_compile.mli | 2 +-
parsing_cocci/iso_pattern.ml | 137 ++++--
parsing_cocci/iso_pattern.mli | 4 +-
parsing_cocci/lexer_cli.mll | 2 +-
parsing_cocci/lexer_cocci.mll | 38 +-
parsing_cocci/lexer_script.mll | 2 +-
parsing_cocci/main.ml | 2 +-
parsing_cocci/merge.ml | 2 +-
parsing_cocci/merge.mli | 2 +-
parsing_cocci/parse_aux.ml | 20 +-
parsing_cocci/parse_cocci.ml | 189 +++++++-
parsing_cocci/parse_cocci.mli | 2 +-
parsing_cocci/parse_printf.ml | 2 +-
parsing_cocci/parse_printf.mli | 2 +-
parsing_cocci/parser_cocci_menhir.mly | 172 ++++++--
parsing_cocci/plus.ml | 2 +-
parsing_cocci/plus.mli | 2 +-
parsing_cocci/pretty_print_cocci.ml | 39 +-
parsing_cocci/pretty_print_cocci.mli | 6 +-
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 | 31 +-
parsing_cocci/simple_assignments.mli | 2 +-
parsing_cocci/single_statement.ml | 6 +-
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 | 2 +-
parsing_cocci/top_level.mli | 2 +-
parsing_cocci/type_cocci.ml | 2 +-
parsing_cocci/type_cocci.mli | 2 +-
parsing_cocci/type_infer.ml | 23 +-
parsing_cocci/type_infer.mli | 2 +-
parsing_cocci/unify_ast.ml | 32 +-
parsing_cocci/unify_ast.mli | 2 +-
parsing_cocci/unitary_ast0.ml | 2 +-
parsing_cocci/unitary_ast0.mli | 2 +-
parsing_cocci/unparse_ast0.ml | 45 +-
parsing_cocci/unparse_ast0.mli | 4 +-
parsing_cocci/visitor_ast.ml | 80 +++-
parsing_cocci/visitor_ast.mli | 22 +-
parsing_cocci/visitor_ast0.ml | 150 +++++--
parsing_cocci/visitor_ast0.mli | 18 +-
parsing_cocci/visitor_ast0_types.ml | 33 +-
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 | 2 +-
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 | 7 +-
popl09/popltoctl.mli | 2 +-
popl09/pretty_print_popl.ml | 2 +-
popl09/pretty_print_popl.mli | 2 +-
python/Makefile | 2 +-
python/coccipython.a | Bin 29758 -> 32462 bytes
python/coccipython.cmxa | Bin 2679 -> 2679 bytes
python/no_pycocci.ml | 2 +-
python/pycocci.mli | 2 +-
python/pycocci_aux.ml | 4 +-
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/glimpseindex_cocci.sh | 12 +-
scripts/readme.pl | 2 +-
scripts/stat_directories.pl | 2 +-
scripts/stat_directories_complete.pl | 2 +-
scripts/stat_directory_complete.pl | 2 +-
setup/Makefile.in | 11 +
testing.ml.in => testing.ml | 112 ++++-
testing.mli | 4 +-
tests/SCORE_expected.sexp | Bin 15283 -> 16078 bytes
tests/SCORE_expected_orig.sexp | Bin 15283 -> 16078 bytes
tests/addif.res | 8 +-
tests/addif1.res | 4 +-
tests/addif2.res | 4 +-
tests/addifelse.res | 2 +-
tests/addifelse2.res | 1 -
tests/anon.res | 2 +-
tests/argument.res | 3 +-
tests/arparam.res | 2 +-
tests/b1.res | 8 +-
tests/b2.res | 8 +-
tests/badexp.res | 2 +-
tests/befS.res | 6 +-
tests/ben.res | 2 -
tests/braces.res | 8 +-
tests/break.res | 9 +-
tests/bug1.c | 4 +-
tests/bug1.res | 6 +-
tests/bugloop.res | 4 +
tests/bugon.res | 2 +-
tests/change.c | 5 +
tests/change.cocci | 5 +
tests/change.res | 6 +
tests/change_type.c | 4 +
tests/change_type.cocci | 11 +
tests/change_type.res | 4 +
tests/comments.res | 2 +-
tests/compare.res | 16 +-
tests/cr1a.res | 6 +-
tests/cst_null.res | 6 +-
tests/define_exp.res | 3 +-
tests/double.res | 4 +-
tests/dropenderr.c | 8 +
tests/dropenderr.cocci | 26 ++
tests/dropenderr.res | 6 +
tests/end_commas.res | 4 +-
.../bad_zero_affect.cocci => tests/enum2.cocci | 5 +-
tests/failing_andany.c | 13 +
tests/failing_andany.cocci | 18 +
tests/failing_andany.res | 9 +
tests/fun.res | 4 +-
tests/gilles-question.res | 2 -
tests/headers.res | 4 +-
tests/ifdef3.res | 7 +-
tests/ifdef5.res | 9 +-
tests/ifields.res | 2 +-
tests/inline.res | 1 -
tests/int2bool-local.c | 73 ++++
tests/int2bool-local.cocci | 143 ++++++
tests/int2bool-local.res | 77 ++++
tests/ip.res | 9 +-
tests/isococci.res | 1 -
tests/julia7.res | 2 +-
tests/kmalloc.res | 4 +-
tests/labels_metastatement.res | 13 +-
tests/labels_metastatement_ver1.res | 4 +-
tests/longline2.res | 4 +-
tests/lvalue.res | 2 +-
tests/match_no_meta.res | 2 -
tests/mdec.res | 2 +-
tests/memory.res | 4 +-
tests/metaops.c | 44 ++
tests/metaops.cocci | 27 ++
tests/metaops.res | 44 ++
tests/metaops0.c | 44 ++
tests/metaops0.cocci | 14 +
tests/metaops0.res | 44 ++
tests/metaruleelem.res | 4 +-
tests/metastatement_if.res | 1 -
tests/mini_null_ref.res | 3 +-
tests/minstruct.res | 4 +-
tests/minusdots.res | 1 -
tests/minusdots_ver1.res | 1 -
tests/multistruct.c | 5 +
tests/multistruct.cocci | 5 +
tests/multistruct.res | 3 +
tests/multitype.res | 2 +-
tests/multivars.res | 2 +-
tests/nest.res | 6 +-
tests/of.res | 4 +-
tests/operators.cocci | 235 ++++++++++
tests/opt.res | 1 -
tests/param.res | 1 -
tests/param_ver1.res | 1 -
tests/pb_params_iso.c | 1 -
tests/pcim.c | 5 +
tests/pcim.cocci | 9 +
tests/pcim.res | 6 +
tests/pmac.c | 1 -
tests/pragmatest.res | 2 +-
tests/proto.res | 1 -
tests/proto2.res | 3 +-
tests/proto_ver1.res | 1 -
tests/proto_ver2.res | 1 -
tests/protoassert.res | 7 +-
tests/rcu3.c | 4 +-
tests/rcu3.res | 8 +-
tests/regexp3.res | 34 +-
tests/remparam.c | 2 +-
tests/return.res | 8 +-
tests/return_implicit.res | 2 +-
tests/retval.cocci | 1 +
tests/retval.res | 8 +-
tests/shared_brace.res | 6 +-
tests/sp.res | 4 +-
tests/spacing.res | 2 +-
tests/spl.res | 22 +-
tests/static.res | 1 -
tests/strangeorder.res | 4 +-
tests/strid.res | 2 +-
tests/struct_metavar.res | 2 -
tests/switchdecl.res | 2 +-
tests/test0.res | 2 -
tests/test1.res | 1 +
tests/test2.res | 2 +-
tests/test5_ver1.res | 1 -
tests/top.c | 1 -
tests/toplevel_macrostmt.c | 1 -
tests/toplevel_macrostmt.res | 2 +-
tests/ty.res | 2 -
tests/ty_tyexp.c | 1 -
tests/tydisj.res | 3 +-
tests/tyex.res | 6 +-
tests/useless_cast.c | 1 -
tests/useless_cast.res | 2 +-
tests/varargs.res | 3 +-
tests/varargs3.c | 14 +
tests/{varargs2.cocci => varargs3.cocci} | 3 +-
tests/varargs3.res | 14 +
tests/void.res | 8 +-
tests/vpos.res | 2 -
tests/whitespace.res | 2 +-
tests/wrongcheck.c | 5 +
tests/wrongcheck.cocci | 17 +
tests/wrongcheck.res | 3 +
tests/y2.res | 1 -
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 | 2 +-
tools/gitsort.ml | 2 +-
tools/licensify.ml | 4 +-
tools/process_isoprofile.ml | 2 +-
tools/sgen/Makefile | 10 +-
tools/sgen/README.md | 123 +++++-
tools/sgen/documentation/Makefile | 7 +
tools/sgen/documentation/documentation.tex | 10 +-
tools/sgen/documentation/future.tex | 4 +-
tools/sgen/documentation/implementation.tex | 34 +-
tools/sgen/documentation/knownissues.tex | 4 +-
tools/sgen/documentation/usage.tex | 10 +-
tools/sgen/examples/README.md | 15 +
tools/sgen/examples/addvoid.c | 12 +
tools/sgen/examples/addvoid.cocci | 7 +
tools/sgen/examples/addvoid.config | 8 +
tools/sgen/examples/addvoid_.cocci | 52 +++
tools/sgen/examples/disj.c | 43 +-
tools/sgen/examples/disj_.cocci | 98 +++++
tools/sgen/examples/inherited.c | 12 +-
tools/sgen/examples/inherited_.cocci | 118 +++++
tools/sgen/examples/local.c | 11 +-
tools/sgen/examples/local_.cocci | 55 +++
tools/sgen/examples/test.sh | 36 ++
tools/sgen/examples/tiny.c | 4 +-
tools/sgen/examples/tiny_.cocci | 55 +++
tools/sgen/source/Makefile | 46 +-
tools/sgen/source/README.md | 63 ++-
tools/sgen/source/ast_tostring.ml | 11 +-
tools/sgen/source/ast_tostring.mli | 3 +-
tools/sgen/source/context_rule.ml | 89 ++--
tools/sgen/source/context_rule.mli | 47 +-
tools/sgen/source/detect_patch.ml | 88 ++--
tools/sgen/source/detect_patch.mli | 64 ++-
tools/sgen/source/disj_generator.ml | 124 ++++--
tools/sgen/source/disj_generator.mli | 161 ++++---
tools/sgen/source/file_transform.ml | 255 ++++++-----
tools/sgen/source/file_transform.mli | 50 ++-
tools/sgen/source/globals.ml | 170 +++++---
tools/sgen/source/globals.mli | 68 ++-
tools/sgen/source/main.ml | 121 ++----
tools/sgen/source/meta_variable.ml | 370 ++++++++++------
tools/sgen/source/meta_variable.mli | 39 +-
tools/sgen/source/position_generator.ml | 369 +++++++++-------
tools/sgen/source/position_generator.mli | 31 +-
tools/sgen/source/rule_body.ml | 296 ++++++++-----
tools/sgen/source/rule_body.mli | 78 +++-
tools/sgen/source/rule_header.ml | 96 ++--
tools/sgen/source/rule_header.mli | 39 +-
tools/sgen/source/script_rule.ml | 81 ++--
tools/sgen/source/script_rule.mli | 57 ++-
tools/sgen/source/sgen.ml | 167 +++++++
tools/sgen/source/sgen.mli | 22 +
tools/sgen/source/sgen_config.ml | 80 ++--
tools/sgen/source/sgen_config.mli | 47 +-
tools/sgen/source/sgen_interactive.ml | 129 ++++--
tools/sgen/source/sgen_interactive.mli | 19 +-
tools/sgen/source/sgen_lexer.mll | 12 +-
.../source/{generator_types.ml => snapshot.ml} | 146 ++++---
.../source/{generator_types.mli => snapshot.mli} | 40 +-
tools/sgen/source/user_input.ml | 196 ++++++---
tools/sgen/source/user_input.mli | 62 ++-
tools/splitpatch.ml | 74 +++-
tools/spp.ml | 2 +-
version | 2 +-
451 files changed, 8025 insertions(+), 3224 deletions(-)
create mode 100755 autogen
create mode 100644 debian/coccinelle.maintscript
create mode 100644 debian/patches/bash-completion-dir.diff
delete mode 100644 debian/patches/no-parmap-subdir.diff
rename testing.ml.in => testing.ml (81%)
create mode 100644 tests/change.c
create mode 100644 tests/change.cocci
create mode 100644 tests/change.res
create mode 100644 tests/change_type.c
create mode 100644 tests/change_type.cocci
create mode 100644 tests/change_type.res
create mode 100644 tests/dropenderr.c
create mode 100644 tests/dropenderr.cocci
create mode 100644 tests/dropenderr.res
copy demos/janitorings/bad_zero_affect.cocci => tests/enum2.cocci (76%)
create mode 100644 tests/failing_andany.c
create mode 100644 tests/failing_andany.cocci
create mode 100644 tests/failing_andany.res
create mode 100644 tests/int2bool-local.c
create mode 100644 tests/int2bool-local.cocci
create mode 100644 tests/int2bool-local.res
create mode 100644 tests/metaops.c
create mode 100644 tests/metaops.cocci
create mode 100644 tests/metaops.res
create mode 100644 tests/metaops0.c
create mode 100644 tests/metaops0.cocci
create mode 100644 tests/metaops0.res
create mode 100644 tests/multistruct.c
create mode 100644 tests/multistruct.cocci
create mode 100644 tests/multistruct.res
create mode 100644 tests/operators.cocci
create mode 100644 tests/pcim.c
create mode 100644 tests/pcim.cocci
create mode 100644 tests/pcim.res
create mode 100644 tests/varargs3.c
copy tests/{varargs2.cocci => varargs3.cocci} (59%)
create mode 100644 tests/varargs3.res
create mode 100644 tests/wrongcheck.c
create mode 100644 tests/wrongcheck.cocci
create mode 100644 tests/wrongcheck.res
create mode 100644 tools/sgen/documentation/Makefile
mode change 100755 => 100644 tools/sgen/documentation/documentation.tex
create mode 100644 tools/sgen/examples/README.md
create mode 100644 tools/sgen/examples/addvoid.c
create mode 100644 tools/sgen/examples/addvoid.cocci
create mode 100644 tools/sgen/examples/addvoid.config
create mode 100644 tools/sgen/examples/addvoid_.cocci
create mode 100644 tools/sgen/examples/disj_.cocci
create mode 100644 tools/sgen/examples/inherited_.cocci
create mode 100644 tools/sgen/examples/local_.cocci
create mode 100755 tools/sgen/examples/test.sh
create mode 100644 tools/sgen/examples/tiny_.cocci
create mode 100644 tools/sgen/source/sgen.ml
create mode 100644 tools/sgen/source/sgen.mli
rename tools/sgen/source/{generator_types.ml => snapshot.ml} (73%)
rename tools/sgen/source/{generator_types.mli => snapshot.mli} (63%)
--
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