Coccinelle release 1.0.0-rc15
authorCoccinelle <cocci@diku.dk>
Fri, 17 Aug 2012 21:09:49 +0000 (23:09 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Fri, 17 Aug 2012 21:09:49 +0000 (23:09 +0200)
commit755320b0f64ab4fe487507104d2929cfb19dcee1
tree9af3c149347cb7e320ffd5e3056296b6516fac8c
parent7f339edd551eefcd6c99f379ce91c27df997cfe3
Coccinelle release 1.0.0-rc15

- allow mixing isomorpisms with normal rules

- Support const/volatile after *.  Thanks to Lars-Peter Clausen for
  pointing out the problem.
- Support variable declarations in the first element of a for loop header.

- Dropped the need for the ocaml-extlib and ocaml-sexplib packages.
- Changed the file format of the regression test results. Files in the old format
  are no longer readable by spatch.
- Added a crude mechanism for integrating the results of external analyses with
  coccinelle, using positions to connect them together. This is an experimental
  feature. See demos/external_ana.{c,cocci,data}.

- Ocaml 4.00.0 compatibility fixes
- Drop inlines, reduce parser code size
- Bind const_vol in the right order in Ast0 visitor
196 files changed:
Makefile
Makefile.config.in
bundles/extlib/Makefile
bundles/extlib/extlib-1.5.2/.marker [deleted file]
bundles/extlib/extlib-1.5.2/IO.ml [deleted file]
bundles/extlib/extlib-1.5.2/IO.mli [deleted file]
bundles/extlib/extlib-1.5.2/LICENSE [deleted file]
bundles/extlib/extlib-1.5.2/META [deleted file]
bundles/extlib/extlib-1.5.2/Makefile [deleted file]
bundles/extlib/extlib-1.5.2/README.txt [deleted file]
bundles/extlib/extlib-1.5.2/base64.ml [deleted file]
bundles/extlib/extlib-1.5.2/base64.mli [deleted file]
bundles/extlib/extlib-1.5.2/bitSet.ml [deleted file]
bundles/extlib/extlib-1.5.2/bitSet.mli [deleted file]
bundles/extlib/extlib-1.5.2/dllist.ml [deleted file]
bundles/extlib/extlib-1.5.2/dllist.mli [deleted file]
bundles/extlib/extlib-1.5.2/dynArray.ml [deleted file]
bundles/extlib/extlib-1.5.2/dynArray.mli [deleted file]
bundles/extlib/extlib-1.5.2/enum.ml [deleted file]
bundles/extlib/extlib-1.5.2/enum.mli [deleted file]
bundles/extlib/extlib-1.5.2/extArray.ml [deleted file]
bundles/extlib/extlib-1.5.2/extArray.mli [deleted file]
bundles/extlib/extlib-1.5.2/extHashtbl.ml [deleted file]
bundles/extlib/extlib-1.5.2/extHashtbl.mli [deleted file]
bundles/extlib/extlib-1.5.2/extLib.ml [deleted file]
bundles/extlib/extlib-1.5.2/extList.ml [deleted file]
bundles/extlib/extlib-1.5.2/extList.mli [deleted file]
bundles/extlib/extlib-1.5.2/extString.ml [deleted file]
bundles/extlib/extlib-1.5.2/extString.mli [deleted file]
bundles/extlib/extlib-1.5.2/global.ml [deleted file]
bundles/extlib/extlib-1.5.2/global.mli [deleted file]
bundles/extlib/extlib-1.5.2/install.ml [deleted file]
bundles/extlib/extlib-1.5.2/odoc_style.css [deleted file]
bundles/extlib/extlib-1.5.2/optParse.ml [deleted file]
bundles/extlib/extlib-1.5.2/optParse.mli [deleted file]
bundles/extlib/extlib-1.5.2/option.ml [deleted file]
bundles/extlib/extlib-1.5.2/option.mli [deleted file]
bundles/extlib/extlib-1.5.2/pMap.ml [deleted file]
bundles/extlib/extlib-1.5.2/pMap.mli [deleted file]
bundles/extlib/extlib-1.5.2/refList.ml [deleted file]
bundles/extlib/extlib-1.5.2/refList.mli [deleted file]
bundles/extlib/extlib-1.5.2/std.ml [deleted file]
bundles/extlib/extlib-1.5.2/std.mli [deleted file]
bundles/extlib/extlib-1.5.2/uChar.ml [deleted file]
bundles/extlib/extlib-1.5.2/uChar.mli [deleted file]
bundles/extlib/extlib-1.5.2/uTF8.ml [deleted file]
bundles/extlib/extlib-1.5.2/uTF8.mli [deleted file]
bundles/extlib/extlib-1.5.2/unzip.ml [deleted file]
bundles/extlib/extlib-1.5.2/unzip.mli [deleted file]
bundles/extlib/hashtable-ocaml4-compat.patch [new file with mode: 0644]
bundles/menhirLib/Makefile
bundles/pcre/Makefile
bundles/pycaml/Makefile
bundles/sexplib/Makefile
bundles/sexplib/sexplib-7.0.5/.hg_archival.txt [deleted file]
bundles/sexplib/sexplib-7.0.5/.marker [deleted file]
bundles/sexplib/sexplib-7.0.5/COPYRIGHT [deleted file]
bundles/sexplib/sexplib-7.0.5/Changelog [deleted file]
bundles/sexplib/sexplib-7.0.5/INSTALL [deleted file]
bundles/sexplib/sexplib-7.0.5/LICENSE [deleted file]
bundles/sexplib/sexplib-7.0.5/LICENSE.Tywith [deleted file]
bundles/sexplib/sexplib-7.0.5/Makefile [deleted file]
bundles/sexplib/sexplib-7.0.5/README.txt [deleted file]
bundles/sexplib/sexplib-7.0.5/_oasis [deleted file]
bundles/sexplib/sexplib-7.0.5/_tags [deleted file]
bundles/sexplib/sexplib-7.0.5/configure [deleted file]
bundles/sexplib/sexplib-7.0.5/doc/Makefile [deleted file]
bundles/sexplib/sexplib-7.0.5/doc/OMakefile [deleted file]
bundles/sexplib/sexplib-7.0.5/doc/README.tex [deleted file]
bundles/sexplib/sexplib-7.0.5/doc/custom.hva [deleted file]
bundles/sexplib/sexplib-7.0.5/doc/hevea.sty [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/META [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/conv.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/conv.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/conv_error.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/conv_error.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/exn_magic.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/exn_magic.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/lexer.mll [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/parser.mly [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/path.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/path.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/pre_sexp.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/pre_sexp.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexp.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexp.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexp_intf.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexp_intf.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexplib.mlpack [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/sexplib.odocl [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/std.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/type.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib/type.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/lib_test/Makefile [deleted file]
bundles/sexplib/sexplib-7.0.5/lib_test/OMakefile [deleted file]
bundles/sexplib/sexplib-7.0.5/lib_test/conv_test.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib_test/sexp_test.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/lib_test/test.sexp [deleted file]
bundles/sexplib/sexplib-7.0.5/myocamlbuild.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/setup.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/syntax/pa_sexp_conv.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/syntax/pa_sexp_conv.mli [deleted file]
bundles/sexplib/sexplib-7.0.5/syntax/pa_sexp_conv.mllib [deleted file]
bundles/sexplib/sexplib-7.0.5/top/install_printers.ml [deleted file]
bundles/sexplib/sexplib-7.0.5/top/sexplib_top.mllib [deleted file]
changes.txt
commons/Makefile
commons/common.ml
commons/common.mli
commons/obsolete/ofullcommon.ml [moved from commons/ofullcommon.ml with 100% similarity]
configure
configure.ac
ctl/Makefile
demos/external_ana.c [new file with mode: 0644]
demos/external_ana.cocci [new file with mode: 0644]
demos/external_ana.data [new file with mode: 0644]
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
docs/manual/spatch_options.tex
docs/spatch.1.in
engine/Makefile
engine/asttoctl2.ml
engine/check_exhaustive_pattern.ml
engine/cocci_vs_c.ml
engine/externalanalysis.ml [new file with mode: 0644]
engine/externalanalysis.mli [new file with mode: 0644]
extra/Makefile
globals/Makefile
install.txt
main.ml
ocaml/Makefile
ocaml/coccilib.ml
ocaml/coccilib.mli
ocaml/yes_prepare_ocamlcocci.ml
parsing_c/Makefile
parsing_c/ast_c.ml
parsing_c/control_flow_c.ml
parsing_c/control_flow_c.mli
parsing_c/parser_c.mly
parsing_c/pretty_print_c.ml
parsing_c/sexp_ast_c.ml [deleted file]
parsing_c/unparse_cocci.ml
parsing_c/visitor_c.ml
parsing_cocci/Makefile
parsing_cocci/adjust_pragmas.ml
parsing_cocci/arity.ml
parsing_cocci/ast0_cocci.ml
parsing_cocci/ast0_cocci.mli
parsing_cocci/ast0toast.ml
parsing_cocci/ast0toast.mli
parsing_cocci/ast_cocci.ml
parsing_cocci/ast_cocci.mli
parsing_cocci/check_meta.ml
parsing_cocci/compute_lines.ml
parsing_cocci/context_neg.ml
parsing_cocci/disjdistr.ml
parsing_cocci/function_prototypes.ml
parsing_cocci/get_constants2.ml
parsing_cocci/get_metas.ml
parsing_cocci/index.ml
parsing_cocci/index.mli
parsing_cocci/insert_plus.ml
parsing_cocci/iso_compile.ml
parsing_cocci/iso_pattern.ml
parsing_cocci/parse_aux.ml
parsing_cocci/parse_cocci.ml
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/pretty_print_cocci.ml
parsing_cocci/single_statement.ml
parsing_cocci/test_exps.ml
parsing_cocci/type_infer.ml
parsing_cocci/unify_ast.ml
parsing_cocci/unparse_ast0.ml
parsing_cocci/visitor_ast.ml
parsing_cocci/visitor_ast0.ml
parsing_cocci/visitor_ast0.mli
parsing_cocci/visitor_ast0_types.ml
popl/Makefile
popl09/Makefile
python/Makefile
release.nix
setup/wrapper-ocamlcp.sh [new file with mode: 0755]
testing.ml
tests/SCORE_expected.sexp
tests/SCORE_expected_orig.sexp
tests/cptr.c [new file with mode: 0644]
tests/cptr.cocci [new file with mode: 0644]
tests/cptr.res [new file with mode: 0644]
tests/fortype.c [new file with mode: 0644]
tests/fortype.cocci [new file with mode: 0644]
tests/fortype.res [new file with mode: 0644]
tools/Makefile
tools/splitpatch.ml
version