[Pkg-ocaml-maint-commits] [coccinelle] 02/07: Merge tag 'upstream/1.0.3.deb'
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Tue Oct 27 20:44:12 UTC 2015
This is an automated email from the git hooks/post-receive script.
eugen pushed a commit to branch master
in repository coccinelle.
commit 99f222967383c45438b6b798de1623f8062a88aa
Merge: bf5bf1b fce84b6
Author: Eugeniy Meshcheryakov <eugen at debian.org>
Date: Tue Oct 27 20:16:45 2015 +0100
Merge tag 'upstream/1.0.3.deb'
Upstream version 1.0.3.deb
Makefile | 192 +-
Makefile.common | 4 +
Makefile.config.in | 6 +-
Makefile.dev | 3 +
Makefile.libs | 20 +-
Makefile.release | 38 +-
_tags | 122 -
autogen | 2 +-
changes.txt | 31 +-
cocci.ml | 95 +-
cocci.mli | 27 +-
commons/Makefile | 59 +-
commons/commands.ml.in | 2 -
commons/common.ml | 122 +-
commons/common.mli | 28 +-
commons/common_extra.ml | 45 -
commons/commons.mldylib | 35 -
commons/commons.mllib | 35 -
commons/glimpse.ml | 2 +-
commons/obsolete/ofullcommon.ml | 23 -
commons/ocamlextra/ANSITerminal.ml | 219 -
commons/ocamlextra/ANSITerminal.mli | 107 -
commons/ocollection/oassoc_buffer.ml | 132 -
commons/ocollection/oassoc_buffer.mli | 34 -
commons/ocollection/oassoc_cache.ml | 169 -
commons/ocollection/oassoc_cache.mli | 34 -
commons/ocollection/oassocbdb.ml | 186 -
commons/ocollection/oassocbdb.mli | 43 -
commons/ocollection/oassocbdb_string.ml | 170 -
commons/ocollection/oassocbdb_string.mli | 41 -
commons/ocollection/oassocdbm.ml | 84 -
commons/ocollection/oassocdbm.mli | 30 -
commons/ocollection/oassoch.ml | 37 -
commons/ocollection/oassocid.ml | 24 -
commons/ocollection/ograph2way.ml | 86 -
commons/ocollection/ograph2way.mli | 33 -
commons/ocollection/oseth.ml | 60 -
commons/ocollection/oseti.ml | 35 -
commons/ocollection/osetpt.ml | 33 -
commons/ograph_extended.ml | 8 +-
commons/seti.ml | 6 +-
commons/sexp_common.ml | 321 -
configure | 6246 +++++++++----------
configure.ac | 74 +-
ctl/Makefile | 44 +-
ctl/ast_ctl.ml | 27 +-
ctl/ctl.mldylib | 5 -
ctl/ctl.mllib | 5 -
ctl/ctl_engine.ml | 29 +-
ctl/ctl_engine.mli | 27 +-
ctl/flag_ctl.ml | 27 +-
ctl/pretty_print_ctl.ml | 29 +-
ctl/pretty_print_ctl.mli | 27 +-
ctl/test_ctl.ml | 27 +-
ctl/wrapper_ctl.ml | 27 +-
ctl/wrapper_ctl.mli | 27 +-
demos/conjunction.c | 11 +
demos/conjunction.cocci | 18 +
demos/defaultscript.c | 7 +
demos/defaultscript.cocci | 79 +
demos/ocaml/README | 10 +
demos/ocaml/dbm.cocci | 2 +
demos/ocaml/pg.cocci | 2 +
docs/dev/README | 3 +
docs/dev/file-path-error.cocci | 10 +
docs/dev/python-integration | 46 +
docs/dev/test1.c | 5 +
docs/dev/test2.c | 5 +
docs/dev/test3.c | 5 +
docs/dev/test4.c | 5 +
docs/graph-module-dependencies.ps | 6475 --------------------
docs/manual/Makefile | 25 +-
docs/manual/cocci_syntax.tex | 55 +-
docs/manual/find-xxdate | 20 +
docs/manual/spatch_options.tex | 7 +-
docs/spgen.1 | 170 +
engine/Makefile | 40 +-
engine/asttoctl.mli | 27 +-
engine/asttoctl2.ml | 350 +-
engine/asttoctl2.mli | 27 +-
engine/asttomember.ml | 52 +-
engine/asttomember.mli | 27 +-
engine/c_vs_c.ml | 27 +-
engine/c_vs_c.mli | 27 +-
engine/check_exhaustive_pattern.ml | 36 +-
engine/check_reachability.ml | 27 +-
engine/check_reachability.mli | 27 +-
engine/cocci_vs_c.ml | 235 +-
engine/cocci_vs_c.mli | 27 +-
engine/ctlcocci_integration.ml | 41 +-
engine/ctlcocci_integration.mli | 27 +-
engine/ctltotex.ml | 27 +-
engine/ctltotex.mli | 27 +-
engine/engine.mldylib | 18 -
engine/engine.mllib | 18 -
engine/externalanalysis.ml | 27 +-
engine/externalanalysis.mli | 27 +-
engine/flag_engine.ml | 27 +-
engine/flag_matcher.ml | 27 +-
engine/isomorphisms_c_c.ml | 27 +-
engine/lib_engine.ml | 27 +-
engine/lib_matcher_c.ml | 27 -
engine/lib_matcher_c.mli | 27 -
engine/main.ml | 27 +-
engine/obsolete/asttoctl.ml | 1440 -----
engine/obsolete/sgrep.ml | 129 -
engine/pattern_c.ml | 51 +-
engine/pattern_c.mli | 27 +-
engine/postprocess_transinfo.ml | 27 +-
engine/postprocess_transinfo.mli | 27 +-
engine/pretty_print_engine.ml | 37 +-
engine/pretty_print_engine.mli | 27 +-
engine/transformation_c.ml | 43 +-
engine/transformation_c.mli | 27 +-
extra/Makefile | 13 -
extra/extra.mldylib | 3 -
extra/extra.mllib | 3 -
extra/kbuild.ml | 6 +-
extra/maintainers.ml | 4 +-
flag_cocci.ml | 27 +-
globals/Makefile | 39 +-
globals/flag.ml | 36 +-
globals/globals.mldylib | 4 -
globals/globals.mllib | 4 -
globals/iteration.ml | 27 +-
globals/iteration.mli | 27 +-
globals/regexp_pcre.ml | 27 +-
globals/regexp_str.ml | 27 +-
install.txt | 2 +-
main.ml | 72 +-
myocamlbuild.ml.in | 297 -
ocaml/Makefile | 13 -
ocaml/Makefile.doc | 18 -
ocaml/coccilib.ml | 13 +-
ocaml/ocaml.mldylib | 4 -
ocaml/ocaml.mllib | 4 -
ocaml/ocamlcocci_aux.ml | 8 +-
ocaml/run_ocamlcocci.ml | 13 +-
ocaml/run_ocamlcocci.mli | 2 +-
ocaml/yes_prepare_ocamlcocci.ml | 18 +-
parsing_c/Makefile | 13 -
parsing_c/ast_c.ml | 38 +-
parsing_c/compare_c.ml | 4 +-
parsing_c/control_flow_c.ml | 4 +-
parsing_c/control_flow_c_build.ml | 14 +-
parsing_c/cpp_analysis_c.ml | 4 +-
parsing_c/cpp_ast_c.ml | 2 +-
parsing_c/cpp_token_c.ml | 4 +-
parsing_c/flag_parsing_c.ml | 3 +-
parsing_c/lib_parsing_c.ml | 13 +-
parsing_c/orig.mly | 329 -
parsing_c/parse_c.ml | 27 +-
parsing_c/parser_c.mly | 6 +
parsing_c/parsing_c.mldylib | 31 -
parsing_c/parsing_c.mllib | 31 -
parsing_c/parsing_hacks.ml | 99 +-
parsing_c/parsing_recovery_c.ml | 6 +-
parsing_c/parsing_stat.ml | 22 +-
parsing_c/pretty_print_c.ml | 15 +-
parsing_c/pretty_print_c.mli | 5 +
parsing_c/test_parsing_c.ml | 4 +-
parsing_c/unparse_c.ml | 116 +-
parsing_c/unparse_cocci.ml | 108 +-
parsing_c/unparse_hrule.ml | 19 +-
parsing_c/visitor_c.ml | 12 +-
parsing_c/visitor_c.mli | 7 +-
parsing_cocci/Makefile | 54 +-
parsing_cocci/adjacency.ml | 27 +-
parsing_cocci/adjacency.mli | 27 +-
parsing_cocci/adjust_pragmas.ml | 49 +-
parsing_cocci/adjust_pragmas.mli | 27 +-
parsing_cocci/arity.ml | 276 +-
parsing_cocci/arity.mli | 27 +-
parsing_cocci/ast0_cocci.ml | 78 +-
parsing_cocci/ast0_cocci.mli | 71 +-
parsing_cocci/ast0toast.ml | 232 +-
parsing_cocci/ast0toast.mli | 27 +-
parsing_cocci/ast_cocci.ml | 80 +-
parsing_cocci/ast_cocci.mli | 70 +-
parsing_cocci/check_meta.ml | 63 +-
parsing_cocci/check_meta.mli | 27 +-
parsing_cocci/cocci_grep.ml | 27 +-
parsing_cocci/cocci_grep.mli | 27 +-
parsing_cocci/comm_assoc.ml | 27 +-
parsing_cocci/comm_assoc.mli | 27 +-
parsing_cocci/command_line.ml | 27 +-
parsing_cocci/command_line.mli | 27 +-
parsing_cocci/commas_on_lists.ml | 57 +-
parsing_cocci/commas_on_lists.mli | 27 +-
parsing_cocci/compute_lines.ml | 131 +-
parsing_cocci/compute_lines.mli | 27 +-
parsing_cocci/context_neg.ml | 102 +-
parsing_cocci/context_neg.mli | 27 +-
parsing_cocci/data.ml | 31 +-
parsing_cocci/data.mli | 31 +-
parsing_cocci/disjdistr.ml | 76 +-
parsing_cocci/disjdistr.mli | 27 +-
parsing_cocci/dpll.ml | 31 +-
parsing_cocci/dpll.mli | 27 +-
parsing_cocci/flag_parsing_cocci.ml | 27 +-
parsing_cocci/free_vars.ml | 63 +-
parsing_cocci/free_vars.mli | 27 +-
parsing_cocci/function_prototypes.ml | 75 +-
parsing_cocci/function_prototypes.mli | 27 +-
parsing_cocci/get_constants.ml | 27 +-
parsing_cocci/get_constants.mli | 27 +-
parsing_cocci/get_constants2.ml | 155 +-
parsing_cocci/get_constants2.mli | 27 +-
parsing_cocci/get_metas.ml | 1060 +---
parsing_cocci/get_metas.mli | 29 +-
parsing_cocci/git_grep.ml | 27 +-
parsing_cocci/git_grep.mli | 27 +-
parsing_cocci/id_utils.ml | 27 +-
parsing_cocci/id_utils.mli | 27 +-
parsing_cocci/index.ml | 92 +-
parsing_cocci/index.mli | 27 +-
parsing_cocci/insert_plus.ml | 56 +-
parsing_cocci/insert_plus.mli | 27 +-
parsing_cocci/iso_compile.ml | 27 +-
parsing_cocci/iso_compile.mli | 27 +-
parsing_cocci/iso_pattern.ml | 240 +-
parsing_cocci/iso_pattern.mli | 27 +-
parsing_cocci/lexer_cli.mll | 27 +-
parsing_cocci/lexer_cocci.mll | 70 +-
parsing_cocci/lexer_script.mll | 28 +-
parsing_cocci/main.ml | 27 +-
parsing_cocci/merge.ml | 27 +-
parsing_cocci/merge.mli | 27 +-
parsing_cocci/parse_aux.ml | 83 +-
parsing_cocci/parse_cocci.ml | 137 +-
parsing_cocci/parse_cocci.mli | 27 +-
parsing_cocci/parse_printf.ml | 27 +-
parsing_cocci/parse_printf.mli | 27 +-
parsing_cocci/parser_cocci_menhir.mly | 187 +-
parsing_cocci/parsing_cocci.mldylib | 44 -
parsing_cocci/parsing_cocci.mllib | 44 -
parsing_cocci/plus.ml | 27 +-
parsing_cocci/plus.mli | 27 +-
parsing_cocci/pretty_print_cocci.ml | 260 +-
parsing_cocci/pretty_print_cocci.mli | 29 +-
parsing_cocci/safe_for_multi_decls.ml | 27 +-
parsing_cocci/safe_for_multi_decls.mli | 27 +-
parsing_cocci/semantic_cocci.ml | 27 +-
parsing_cocci/simple_assignments.ml | 34 +-
parsing_cocci/simple_assignments.mli | 27 +-
parsing_cocci/single_statement.ml | 86 +-
parsing_cocci/single_statement.mli | 27 +-
parsing_cocci/stmtlist.ml | 64 +
parsing_cocci/stmtlist.mli | 7 +
parsing_cocci/test.cocci | 26 +-
parsing_cocci/test2.cocci | 26 +-
parsing_cocci/test_exps.ml | 27 +-
parsing_cocci/test_exps.mli | 27 +-
parsing_cocci/top_level.ml | 40 +-
parsing_cocci/top_level.mli | 27 +-
parsing_cocci/type_cocci.ml | 27 +-
parsing_cocci/type_cocci.mli | 27 +-
parsing_cocci/type_infer.ml | 52 +-
parsing_cocci/type_infer.mli | 27 +-
parsing_cocci/unify_ast.ml | 108 +-
parsing_cocci/unify_ast.mli | 27 +-
parsing_cocci/unitary_ast0.ml | 37 +-
parsing_cocci/unitary_ast0.mli | 27 +-
parsing_cocci/unparse_ast0.ml | 84 +-
parsing_cocci/unparse_ast0.mli | 27 +-
parsing_cocci/visitor_ast.ml | 157 +-
parsing_cocci/visitor_ast.mli | 27 +-
parsing_cocci/visitor_ast0.ml | 112 +-
parsing_cocci/visitor_ast0.mli | 27 +-
parsing_cocci/visitor_ast0_types.ml | 27 +-
popl/Makefile | 28 +-
popl/ast_popl.ml | 27 +-
popl/asttopopl.ml | 36 +-
popl/asttopopl.mli | 27 +-
popl/insert_befaft.ml | 27 +-
popl/insert_befaft.mli | 27 +-
popl/insert_quantifiers.ml | 27 +-
popl/insert_quantifiers.mli | 27 +-
popl/popl.ml | 27 +-
popl/popl.mli | 27 +-
popl/popltoctl.ml | 27 +-
popl/popltoctl.mli | 27 +-
popl/pretty_print_popl.ml | 27 +-
popl/pretty_print_popl.mli | 27 +-
popl09/Makefile | 40 +-
popl09/ast_popl.ml | 27 +-
popl09/asttopopl.ml | 36 +-
popl09/asttopopl.mli | 27 +-
popl09/flag_popl.ml | 27 +-
popl09/insert_quantifiers.ml | 27 +-
popl09/insert_quantifiers.mli | 27 +-
popl09/popl.ml | 27 +-
popl09/popl.mli | 27 +-
popl09/popl09.mldylib | 7 -
popl09/popl09.mllib | 7 -
popl09/popltoctl.ml | 27 +-
popl09/popltoctl.mli | 27 +-
popl09/pretty_print_popl.ml | 27 +-
popl09/pretty_print_popl.mli | 27 +-
python/Makefile | 37 +-
python/coccipython.cmxa | Bin 2679 -> 2653 bytes
python/no_pycocci.ml | 27 +-
python/pycocci.mli | 29 +-
python/pycocci_aux.ml | 35 +-
python/pycocci_aux.mli | 27 +-
python/python.mldylib | 2 -
python/python.mllib | 2 -
python/yes_pycocci.ml | 48 +-
read_options.ml | 129 +
read_options.mli | 9 +
scripts/extract_c_and_res.pl | 27 +-
scripts/extract_examples.pl | 27 +-
scripts/extractor_README.pl | 28 +-
scripts/gather_failed.pl | 28 +-
scripts/readme.pl | 27 +-
scripts/stat_directories.pl | 28 +-
scripts/stat_directories_complete.pl | 28 +-
scripts/stat_directory_complete.pl | 28 +-
setup/Makefile.in | 55 +-
setup/compile | 347 ++
setup/install-sh | 366 +-
setup/missing | 405 +-
setup/ocaml.m4 | 3 -
setup/wrapper-menhir.sh | 33 -
standard.h | 17 +
standard.iso | 2 +-
testing.ml | 61 +-
testing.mli | 27 +-
tests/SCORE_expected.sexp | Bin 16531 -> 16641 bytes
tests/SCORE_expected_orig.sexp | Bin 16531 -> 16641 bytes
tests/allex.c | 12 +
tests/allex.cocci | 18 +
tests/allex.res | 12 +
tests/allex2.c | 12 +
tests/allex2.cocci | 16 +
tests/allex2.res | 12 +
tests/allex3.c | 13 +
tests/allex3.cocci | 10 +
tests/allex3.res | 12 +
tests/bad_kfree.cocci | 10 +-
tests/bus.c | 5 +
tests/bus.cocci | 11 +
tests/bus.res | 5 +
tests/defaultscript.c | 7 +
tests/defaultscript.cocci | 79 +
tests/dropcom.c | 11 +
tests/dropcom.cocci | 4 +
tests/dropcom.res | 7 +
tests/sl2.c | 13 +
tests/sl2.cocci | 19 +
tests/sl2.res | 16 +
tests/testand.c | 5 +
tests/testand.cocci | 15 +
tests/testand.res | 5 +
tests/testand2.c | 11 +
tests/testand2.cocci | 18 +
tests/testand2.res | 11 +
tests/unfree.c | 9 +
tests/unfree.cocci | 6 +
tests/unfree.res | 8 +
tools/Makefile | 49 +-
tools/alloc_free.ml | 27 +-
tools/bridge.ml | 27 +-
tools/cstripenv.ml | 27 +-
tools/dir_stats.ml | 27 +-
tools/dumper.ml | 27 +-
tools/dumper.mli | 27 +-
tools/extract_c_and_res.ml | 29 +-
tools/gitgrep.ml | 39 +-
tools/gitsort.ml | 27 +-
tools/{licensify.ml => lic.ml} | 55 +-
tools/{licensify.ml => licensify-new.ml} | 59 +-
tools/licensify.ml | 36 +-
tools/process_isoprofile.ml | 31 +-
tools/sgen/Makefile | 18 -
tools/sgen/examples/context.cocci | 13 -
tools/sgen/examples/disj.cocci | 22 -
tools/sgen/scripts/sgen.sh.in | 7 -
tools/sgen/source/sgen_test.mli | 1 -
tools/sgen/tests/addvoid.cocci | 7 -
tools/sgen/tests/inherited.cocci | 29 -
tools/spgen/Makefile | 29 +
tools/{sgen => spgen}/README.md | 27 +-
tools/{sgen => spgen}/documentation/Makefile | 4 +
tools/{sgen => spgen}/documentation/about.tex | 10 +-
tools/spgen/documentation/documentation.aux | 38 +
.../spgen/documentation/documentation.fdb_latexmk | 103 +
tools/spgen/documentation/documentation.fls | 149 +
tools/spgen/documentation/documentation.log | 743 +++
tools/spgen/documentation/documentation.out | 13 +
tools/spgen/documentation/documentation.pdf | Bin 0 -> 316169 bytes
.../documentation/documentation.tex | 4 +-
tools/spgen/documentation/documentation.toc | 14 +
tools/{sgen => spgen}/documentation/future.tex | 12 +-
.../documentation/implementation.tex | 8 +-
.../{sgen => spgen}/documentation/knownissues.tex | 0
tools/{sgen => spgen}/documentation/usage.tex | 26 +-
tools/{sgen => spgen}/examples/README.md | 8 +-
tools/{sgen => spgen}/examples/addvoid.c | 0
tools/spgen/examples/addvoid.cocci | 11 +
tools/{sgen => spgen}/examples/addvoid.config | 2 +-
tools/{sgen => spgen}/examples/addvoid_.cocci | 4 +
tools/{sgen => spgen}/examples/context.c | 0
tools/spgen/examples/context.cocci | 17 +
tools/{sgen => spgen}/examples/context.config | 2 +-
tools/{sgen => spgen}/examples/context_.cocci | 4 +
tools/{sgen => spgen}/examples/disj.c | 0
tools/spgen/examples/disj.cocci | 29 +
tools/{sgen => spgen}/examples/disj.config | 2 +-
tools/{sgen => spgen}/examples/disj_.cocci | 25 +-
tools/{sgen => spgen}/examples/inherited.c | 0
tools/spgen/examples/inherited.cocci | 33 +
.../tests => spgen/examples}/inherited.config | 4 +-
tools/{sgen => spgen}/examples/inherited_.cocci | 4 +
tools/spgen/scripts/spgen.sh.in | 10 +
tools/{sgen => spgen}/source/Makefile | 67 +-
tools/{sgen => spgen}/source/README.md | 14 +-
tools/{sgen => spgen}/source/ast_tostring.ml | 6 +
tools/{sgen => spgen}/source/ast_tostring.mli | 6 +
tools/{sgen => spgen}/source/context_rule.ml | 24 +-
tools/{sgen => spgen}/source/context_rule.mli | 6 +
tools/{sgen => spgen}/source/detect_patch.ml | 6 +
tools/{sgen => spgen}/source/detect_patch.mli | 6 +
tools/{sgen => spgen}/source/disj_generator.ml | 11 +-
tools/{sgen => spgen}/source/disj_generator.mli | 6 +
tools/{sgen => spgen}/source/file_transform.ml | 6 +
tools/{sgen => spgen}/source/file_transform.mli | 6 +
tools/{sgen => spgen}/source/globals.ml | 10 +-
tools/{sgen => spgen}/source/globals.mli | 6 +
tools/{sgen => spgen}/source/main.ml | 16 +-
tools/{sgen => spgen}/source/meta_variable.ml | 40 +-
tools/{sgen => spgen}/source/meta_variable.mli | 6 +
tools/{sgen => spgen}/source/position_generator.ml | 43 +-
.../{sgen => spgen}/source/position_generator.mli | 6 +
tools/{sgen => spgen}/source/rule_body.ml | 25 +-
tools/{sgen => spgen}/source/rule_body.mli | 6 +
tools/{sgen => spgen}/source/rule_header.ml | 6 +
tools/{sgen => spgen}/source/rule_header.mli | 6 +
tools/{sgen => spgen}/source/script_rule.ml | 6 +
tools/{sgen => spgen}/source/script_rule.mli | 6 +
tools/{sgen => spgen}/source/snapshot.ml | 8 +-
tools/{sgen => spgen}/source/snapshot.mli | 6 +
.../{sgen/source/sgen.ml => spgen/source/spgen.ml} | 16 +-
.../source/sgen.mli => spgen/source/spgen.mli} | 8 +-
.../source/spgen_config.ml} | 8 +-
.../source/spgen_config.mli} | 6 +
.../source/spgen_interactive.ml} | 8 +-
.../source/spgen_interactive.mli} | 6 +
.../source/spgen_lexer.mll} | 8 +-
.../sgen_test.ml => spgen/source/spgen_test.ml} | 28 +-
tools/spgen/source/spgen_test.mli | 7 +
tools/{sgen => spgen}/source/user_input.ml | 10 +-
tools/{sgen => spgen}/source/user_input.mli | 6 +
tools/{sgen/examples => spgen/tests}/addvoid.cocci | 0
tools/{sgen => spgen}/tests/addvoid.config | 0
tools/{sgen => spgen}/tests/addvoid.expected | 0
tools/{sgen => spgen}/tests/disj.cocci | 7 +-
tools/{sgen => spgen}/tests/disj.config | 2 +-
tools/{sgen => spgen}/tests/disj.expected | 21 +-
tools/{sgen => spgen}/tests/include.cocci | 0
tools/{sgen => spgen}/tests/include.config | 0
tools/{sgen => spgen}/tests/include.expected | 0
.../{sgen/examples => spgen/tests}/inherited.cocci | 0
.../examples => spgen/tests}/inherited.config | 0
tools/{sgen => spgen}/tests/inherited.expected | 0
tools/{sgen => spgen}/tests/interleaved.cocci | 0
tools/{sgen => spgen}/tests/interleaved.config | 0
tools/{sgen => spgen}/tests/interleaved.expected | 0
tools/{sgen => spgen}/tests/local.cocci | 0
tools/{sgen => spgen}/tests/local.config | 0
tools/{sgen => spgen}/tests/local.expected | 0
tools/{sgen => spgen}/tests/metaops.cocci | 0
tools/{sgen => spgen}/tests/metaops.config | 0
tools/{sgen => spgen}/tests/metaops.expected | 0
tools/{sgen => spgen}/tests/tiny.cocci | 0
tools/{sgen => spgen}/tests/tiny.config | 0
tools/{sgen => spgen}/tests/tiny.expected | 0
tools/splitpatch.ml | 50 +-
tools/spp.ml | 33 +-
version | 2 +-
480 files changed, 9172 insertions(+), 24041 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