[Pkg-ocaml-maint-commits] [coccinelle] branch upstream updated (c73dbce -> fce84b6)
Eugeniy Meshcheryakov
eugen at moszumanska.debian.org
Tue Oct 27 20:44:14 UTC 2015
This is an automated email from the git hooks/post-receive script.
eugen pushed a change to branch upstream
in repository coccinelle.
from c73dbce Imported Upstream version 1.0.2.deb
new fce84b6 Imported Upstream version 1.0.3.deb
The 1 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 | 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(-)
delete mode 100644 _tags
delete mode 100644 commons/common_extra.ml
delete mode 100644 commons/commons.mldylib
delete mode 100644 commons/commons.mllib
delete mode 100644 commons/obsolete/ofullcommon.ml
delete mode 100644 commons/ocamlextra/ANSITerminal.ml
delete mode 100644 commons/ocamlextra/ANSITerminal.mli
delete mode 100644 commons/ocollection/oassoc_buffer.ml
delete mode 100644 commons/ocollection/oassoc_buffer.mli
delete mode 100644 commons/ocollection/oassoc_cache.ml
delete mode 100644 commons/ocollection/oassoc_cache.mli
delete mode 100644 commons/ocollection/oassocbdb.ml
delete mode 100644 commons/ocollection/oassocbdb.mli
delete mode 100644 commons/ocollection/oassocbdb_string.ml
delete mode 100644 commons/ocollection/oassocbdb_string.mli
delete mode 100644 commons/ocollection/oassocdbm.ml
delete mode 100644 commons/ocollection/oassocdbm.mli
delete mode 100644 commons/ocollection/oassoch.ml
delete mode 100644 commons/ocollection/oassocid.ml
delete mode 100644 commons/ocollection/ograph2way.ml
delete mode 100644 commons/ocollection/ograph2way.mli
delete mode 100644 commons/ocollection/oseth.ml
delete mode 100644 commons/ocollection/oseti.ml
delete mode 100644 commons/ocollection/osetpt.ml
delete mode 100644 commons/sexp_common.ml
delete mode 100644 ctl/ctl.mldylib
delete mode 100644 ctl/ctl.mllib
create mode 100644 demos/conjunction.c
create mode 100644 demos/conjunction.cocci
create mode 100644 demos/defaultscript.c
create mode 100644 demos/defaultscript.cocci
create mode 100644 demos/ocaml/README
create mode 100644 docs/dev/README
create mode 100644 docs/dev/file-path-error.cocci
create mode 100644 docs/dev/python-integration
create mode 100644 docs/dev/test1.c
create mode 100644 docs/dev/test2.c
create mode 100644 docs/dev/test3.c
create mode 100644 docs/dev/test4.c
delete mode 100644 docs/graph-module-dependencies.ps
create mode 100755 docs/manual/find-xxdate
create mode 100644 docs/spgen.1
delete mode 100644 engine/engine.mldylib
delete mode 100644 engine/engine.mllib
delete mode 100644 engine/lib_matcher_c.ml
delete mode 100644 engine/lib_matcher_c.mli
delete mode 100644 engine/obsolete/asttoctl.ml
delete mode 100644 engine/obsolete/sgrep.ml
delete mode 100644 extra/extra.mldylib
delete mode 100644 extra/extra.mllib
delete mode 100644 globals/globals.mldylib
delete mode 100644 globals/globals.mllib
delete mode 100644 myocamlbuild.ml.in
delete mode 100644 ocaml/ocaml.mldylib
delete mode 100644 ocaml/ocaml.mllib
delete mode 100644 parsing_c/orig.mly
delete mode 100644 parsing_c/parsing_c.mldylib
delete mode 100644 parsing_c/parsing_c.mllib
delete mode 100644 parsing_cocci/parsing_cocci.mldylib
delete mode 100644 parsing_cocci/parsing_cocci.mllib
create mode 100644 parsing_cocci/stmtlist.ml
create mode 100644 parsing_cocci/stmtlist.mli
delete mode 100644 popl09/popl09.mldylib
delete mode 100644 popl09/popl09.mllib
delete mode 100644 python/python.mldylib
delete mode 100644 python/python.mllib
create mode 100644 read_options.ml
create mode 100644 read_options.mli
create mode 100755 setup/compile
delete mode 100755 setup/wrapper-menhir.sh
create mode 100644 tests/allex.c
create mode 100644 tests/allex.cocci
create mode 100644 tests/allex.res
create mode 100644 tests/allex2.c
create mode 100644 tests/allex2.cocci
create mode 100644 tests/allex2.res
create mode 100644 tests/allex3.c
create mode 100644 tests/allex3.cocci
create mode 100644 tests/allex3.res
create mode 100644 tests/bus.c
create mode 100644 tests/bus.cocci
create mode 100644 tests/bus.res
create mode 100644 tests/defaultscript.c
create mode 100644 tests/defaultscript.cocci
create mode 100644 tests/dropcom.c
create mode 100644 tests/dropcom.cocci
create mode 100644 tests/dropcom.res
create mode 100644 tests/sl2.c
create mode 100644 tests/sl2.cocci
create mode 100644 tests/sl2.res
create mode 100644 tests/testand.c
create mode 100644 tests/testand.cocci
create mode 100644 tests/testand.res
create mode 100644 tests/testand2.c
create mode 100644 tests/testand2.cocci
create mode 100644 tests/testand2.res
create mode 100644 tests/unfree.c
create mode 100644 tests/unfree.cocci
create mode 100644 tests/unfree.res
copy tools/{licensify.ml => lic.ml} (50%)
copy tools/{licensify.ml => licensify-new.ml} (50%)
delete mode 100644 tools/sgen/Makefile
delete mode 100644 tools/sgen/examples/context.cocci
delete mode 100644 tools/sgen/examples/disj.cocci
delete mode 100755 tools/sgen/scripts/sgen.sh.in
delete mode 100644 tools/sgen/source/sgen_test.mli
delete mode 100644 tools/sgen/tests/addvoid.cocci
delete mode 100644 tools/sgen/tests/inherited.cocci
create mode 100644 tools/spgen/Makefile
rename tools/{sgen => spgen}/README.md (88%)
rename tools/{sgen => spgen}/documentation/Makefile (52%)
rename tools/{sgen => spgen}/documentation/about.tex (63%)
create mode 100644 tools/spgen/documentation/documentation.aux
create mode 100644 tools/spgen/documentation/documentation.fdb_latexmk
create mode 100644 tools/spgen/documentation/documentation.fls
create mode 100644 tools/spgen/documentation/documentation.log
create mode 100644 tools/spgen/documentation/documentation.out
create mode 100644 tools/spgen/documentation/documentation.pdf
rename tools/{sgen => spgen}/documentation/documentation.tex (93%)
create mode 100644 tools/spgen/documentation/documentation.toc
rename tools/{sgen => spgen}/documentation/future.tex (66%)
rename tools/{sgen => spgen}/documentation/implementation.tex (65%)
rename tools/{sgen => spgen}/documentation/knownissues.tex (100%)
rename tools/{sgen => spgen}/documentation/usage.tex (75%)
rename tools/{sgen => spgen}/examples/README.md (51%)
rename tools/{sgen => spgen}/examples/addvoid.c (100%)
create mode 100644 tools/spgen/examples/addvoid.cocci
rename tools/{sgen => spgen}/examples/addvoid.config (96%)
rename tools/{sgen => spgen}/examples/addvoid_.cocci (84%)
rename tools/{sgen => spgen}/examples/context.c (100%)
create mode 100644 tools/spgen/examples/context.cocci
rename tools/{sgen => spgen}/examples/context.config (97%)
rename tools/{sgen => spgen}/examples/context_.cocci (85%)
rename tools/{sgen => spgen}/examples/disj.c (100%)
create mode 100644 tools/spgen/examples/disj.cocci
rename tools/{sgen => spgen}/examples/disj.config (91%)
rename tools/{sgen => spgen}/examples/disj_.cocci (78%)
rename tools/{sgen => spgen}/examples/inherited.c (100%)
create mode 100644 tools/spgen/examples/inherited.cocci
rename tools/{sgen/tests => spgen/examples}/inherited.config (96%)
rename tools/{sgen => spgen}/examples/inherited_.cocci (91%)
create mode 100755 tools/spgen/scripts/spgen.sh.in
rename tools/{sgen => spgen}/source/Makefile (64%)
rename tools/{sgen => spgen}/source/README.md (86%)
rename tools/{sgen => spgen}/source/ast_tostring.ml (91%)
rename tools/{sgen => spgen}/source/ast_tostring.mli (80%)
rename tools/{sgen => spgen}/source/context_rule.ml (87%)
rename tools/{sgen => spgen}/source/context_rule.mli (89%)
rename tools/{sgen => spgen}/source/detect_patch.ml (96%)
rename tools/{sgen => spgen}/source/detect_patch.mli (89%)
rename tools/{sgen => spgen}/source/disj_generator.ml (95%)
rename tools/{sgen => spgen}/source/disj_generator.mli (94%)
rename tools/{sgen => spgen}/source/file_transform.ml (97%)
rename tools/{sgen => spgen}/source/file_transform.mli (89%)
rename tools/{sgen => spgen}/source/globals.ml (95%)
rename tools/{sgen => spgen}/source/globals.mli (92%)
rename tools/{sgen => spgen}/source/main.ml (82%)
rename tools/{sgen => spgen}/source/meta_variable.ml (98%)
rename tools/{sgen => spgen}/source/meta_variable.mli (86%)
rename tools/{sgen => spgen}/source/position_generator.ml (95%)
rename tools/{sgen => spgen}/source/position_generator.mli (84%)
rename tools/{sgen => spgen}/source/rule_body.ml (95%)
rename tools/{sgen => spgen}/source/rule_body.mli (91%)
rename tools/{sgen => spgen}/source/rule_header.ml (92%)
rename tools/{sgen => spgen}/source/rule_header.mli (74%)
rename tools/{sgen => spgen}/source/script_rule.ml (95%)
rename tools/{sgen => spgen}/source/script_rule.mli (83%)
rename tools/{sgen => spgen}/source/snapshot.ml (97%)
rename tools/{sgen => spgen}/source/snapshot.mli (91%)
rename tools/{sgen/source/sgen.ml => spgen/source/spgen.ml} (90%)
rename tools/{sgen/source/sgen.mli => spgen/source/spgen.mli} (68%)
rename tools/{sgen/source/sgen_config.ml => spgen/source/spgen_config.ml} (94%)
rename tools/{sgen/source/sgen_config.mli => spgen/source/spgen_config.mli} (87%)
rename tools/{sgen/source/sgen_interactive.ml => spgen/source/spgen_interactive.ml} (96%)
rename tools/{sgen/source/sgen_interactive.mli => spgen/source/spgen_interactive.mli} (74%)
rename tools/{sgen/source/sgen_lexer.mll => spgen/source/spgen_lexer.mll} (92%)
rename tools/{sgen/source/sgen_test.ml => spgen/source/spgen_test.ml} (89%)
create mode 100644 tools/spgen/source/spgen_test.mli
rename tools/{sgen => spgen}/source/user_input.ml (96%)
rename tools/{sgen => spgen}/source/user_input.mli (91%)
rename tools/{sgen/examples => spgen/tests}/addvoid.cocci (100%)
rename tools/{sgen => spgen}/tests/addvoid.config (100%)
rename tools/{sgen => spgen}/tests/addvoid.expected (100%)
rename tools/{sgen => spgen}/tests/disj.cocci (77%)
rename tools/{sgen => spgen}/tests/disj.config (91%)
rename tools/{sgen => spgen}/tests/disj.expected (88%)
rename tools/{sgen => spgen}/tests/include.cocci (100%)
rename tools/{sgen => spgen}/tests/include.config (100%)
rename tools/{sgen => spgen}/tests/include.expected (100%)
rename tools/{sgen/examples => spgen/tests}/inherited.cocci (100%)
rename tools/{sgen/examples => spgen/tests}/inherited.config (100%)
rename tools/{sgen => spgen}/tests/inherited.expected (100%)
rename tools/{sgen => spgen}/tests/interleaved.cocci (100%)
rename tools/{sgen => spgen}/tests/interleaved.config (100%)
rename tools/{sgen => spgen}/tests/interleaved.expected (100%)
rename tools/{sgen => spgen}/tests/local.cocci (100%)
rename tools/{sgen => spgen}/tests/local.config (100%)
rename tools/{sgen => spgen}/tests/local.expected (100%)
rename tools/{sgen => spgen}/tests/metaops.cocci (100%)
rename tools/{sgen => spgen}/tests/metaops.config (100%)
rename tools/{sgen => spgen}/tests/metaops.expected (100%)
rename tools/{sgen => spgen}/tests/tiny.cocci (100%)
rename tools/{sgen => spgen}/tests/tiny.config (100%)
rename tools/{sgen => spgen}/tests/tiny.expected (100%)
--
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