Release coccinelle-0.1.11rc1
authorCoccinelle <cocci@diku.dk>
Sun, 3 Oct 2010 12:03:03 +0000 (14:03 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Sun, 3 Oct 2010 12:03:03 +0000 (14:03 +0200)
commit951c78018cc91c58699aef95c0ccc20f34065162
tree9fa13d160b4be7cf6e10df8379aa2df25680995c
parentfc1ad9719a3a6317b3a4749dac68e7272a3617db
Release coccinelle-0.1.11rc1

Release Candidate 1 for coccinelle-0.1.11
308 files changed:
.subdirs [deleted file]
Makefile
changes.txt
cocci.ml
cocci.mli
commitmsg
commitmsg~ [new file with mode: 0644]
commons/common.ml
ctl/Makefile
ctl/ast_ctl.ml
ctl/ctl_engine.ml
ctl/ctl_engine.mli
ctl/flag_ctl.ml
ctl/pretty_print_ctl.ml
ctl/pretty_print_ctl.mli
ctl/test_ctl.ml
ctl/wrapper_ctl.ml
ctl/wrapper_ctl.mli
demos/orgmode.c [new file with mode: 0644]
demos/orgmode.cocci [new file with mode: 0644]
demos/regexp.c [new file with mode: 0644]
demos/regexp.cocci [new file with mode: 0644]
demos/spp/Makefile [new file with mode: 0644]
demos/spp/test [new file with mode: 0644]
demos/spp/test.c [new file with mode: 0644]
demos/spp/test.cocci [new file with mode: 0644]
demos/spp/test.h [new file with mode: 0644]
demos/spp/test2.c [new file with mode: 0644]
demos/spp/testpy.cocci [new file with mode: 0644]
demos/virt.c [new file with mode: 0644]
demos/virt.cocci [new file with mode: 0644]
docs/manual/cocci_syntax.tex
docs/manual/examples.tex
docs/manual/main.tex
docs/manual/main_grammar.pdf
docs/manual/main_grammar.tex
docs/manual/manual.pdf
docs/manual/options.pdf
docs/manual/python.tex [new file with mode: 0644]
docs/manual/tips.tex
docs/spatch.1
engine/Makefile
engine/asttoctl.ml
engine/asttoctl.mli
engine/asttoctl2.ml
engine/asttoctl2.mli
engine/asttomember.ml
engine/asttomember.mli
engine/c_vs_c.ml
engine/c_vs_c.mli
engine/check_exhaustive_pattern.ml
engine/check_reachability.ml
engine/check_reachability.mli
engine/cocci_vs_c.ml
engine/cocci_vs_c.mli
engine/ctlcocci_integration.ml
engine/ctlcocci_integration.mli
engine/ctltotex.ml
engine/ctltotex.mli
engine/flag_engine.ml
engine/flag_matcher.ml
engine/isomorphisms_c_c.ml
engine/lib_engine.ml
engine/lib_matcher_c.ml
engine/lib_matcher_c.mli
engine/main.ml
engine/pattern_c.ml
engine/pattern_c.mli
engine/postprocess_transinfo.ml
engine/postprocess_transinfo.mli
engine/pretty_print_engine.ml
engine/pretty_print_engine.mli
engine/sgrep.ml
engine/transformation_c.ml
engine/transformation_c.mli
env.sh
flag_cocci.ml
globals/Makefile
globals/config.ml.in
globals/flag.ml
main.ml
parsing_c/ast_c.ml
parsing_c/compare_c.ml
parsing_c/compare_c.mli
parsing_c/control_flow_c.ml
parsing_c/control_flow_c.mli
parsing_c/control_flow_c_build.ml
parsing_c/flag_parsing_c.ml
parsing_c/lib_parsing_c.ml
parsing_c/parse_c.ml
parsing_c/parsing_consistency_c.ml
parsing_c/parsing_hacks.ml
parsing_c/pretty_print_c.ml
parsing_c/test_parsing_c.ml
parsing_c/token_views_c.ml
parsing_c/type_annoter_c.ml
parsing_c/unparse_c.ml
parsing_c/unparse_cocci.ml
parsing_c/unparse_cocci.mli
parsing_c/unparse_hrule.ml
parsing_c/visitor_c.ml
parsing_c/visitor_c.mli
parsing_cocci/.depend
parsing_cocci/Makefile
parsing_cocci/adjacency.ml
parsing_cocci/adjacency.mli
parsing_cocci/adjust_pragmas.ml
parsing_cocci/adjust_pragmas.mli
parsing_cocci/arity.ml
parsing_cocci/arity.mli
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/check_meta.mli
parsing_cocci/comm_assoc.ml
parsing_cocci/comm_assoc.mli
parsing_cocci/compute_lines.ml
parsing_cocci/compute_lines.mli
parsing_cocci/context_neg.ml
parsing_cocci/context_neg.mli
parsing_cocci/data.ml
parsing_cocci/data.mli
parsing_cocci/disjdistr.ml
parsing_cocci/disjdistr.mli
parsing_cocci/flag_parsing_cocci.ml
parsing_cocci/free_vars.ml
parsing_cocci/free_vars.mli
parsing_cocci/function_prototypes.ml
parsing_cocci/function_prototypes.mli
parsing_cocci/get_constants.ml
parsing_cocci/get_constants.mli
parsing_cocci/get_constants2.ml
parsing_cocci/get_constants2.mli
parsing_cocci/index.ml
parsing_cocci/index.mli
parsing_cocci/insert_plus.ml
parsing_cocci/insert_plus.mli
parsing_cocci/iso_compile.ml
parsing_cocci/iso_compile.mli
parsing_cocci/iso_pattern.ml
parsing_cocci/iso_pattern.mli
parsing_cocci/lexer_cocci.mll
parsing_cocci/lexer_script.mll
parsing_cocci/main.ml
parsing_cocci/merge.ml
parsing_cocci/merge.mli
parsing_cocci/parse_aux.ml
parsing_cocci/parse_cocci.ml
parsing_cocci/parse_cocci.mli
parsing_cocci/parser_cocci.mly
parsing_cocci/parser_cocci_menhir.ml
parsing_cocci/parser_cocci_menhir.mli
parsing_cocci/parser_cocci_menhir.mly
parsing_cocci/plus.ml
parsing_cocci/plus.mli
parsing_cocci/pretty_print_cocci.ml
parsing_cocci/pretty_print_cocci.mli
parsing_cocci/semantic_cocci.ml
parsing_cocci/simple_assignments.ml
parsing_cocci/simple_assignments.mli
parsing_cocci/single_statement.ml
parsing_cocci/single_statement.mli
parsing_cocci/test.cocci
parsing_cocci/test2.cocci
parsing_cocci/test_exps.ml
parsing_cocci/test_exps.mli
parsing_cocci/top_level.ml
parsing_cocci/top_level.mli
parsing_cocci/type_cocci.ml
parsing_cocci/type_cocci.mli
parsing_cocci/type_infer.ml
parsing_cocci/type_infer.mli
parsing_cocci/unify_ast.ml
parsing_cocci/unify_ast.mli
parsing_cocci/unitary_ast0.ml
parsing_cocci/unitary_ast0.mli
parsing_cocci/unparse_ast0.ml
parsing_cocci/unparse_ast0.mli
parsing_cocci/visitor_ast.ml
parsing_cocci/visitor_ast.mli
parsing_cocci/visitor_ast0.ml
parsing_cocci/visitor_ast0.mli
parsing_cocci/visitor_ast0_types.ml
popl/Makefile [new file with mode: 0644]
popl/ast_popl.ml [new file with mode: 0644]
popl/asttopopl.ml [new file with mode: 0644]
popl/asttopopl.mli [new file with mode: 0644]
popl/insert_befaft.ml [new file with mode: 0644]
popl/insert_befaft.mli [new file with mode: 0644]
popl/insert_quantifiers.ml [new file with mode: 0644]
popl/insert_quantifiers.mli [new file with mode: 0644]
popl/popl.ml [new file with mode: 0644]
popl/popl.mli [new file with mode: 0644]
popl/popltoctl.ml [new file with mode: 0644]
popl/popltoctl.mli [new file with mode: 0644]
popl/pretty_print_popl.ml [new file with mode: 0644]
popl/pretty_print_popl.mli [new file with mode: 0644]
popl09/.depend [new file with mode: 0644]
popl09/Makefile [new file with mode: 0644]
popl09/ast_popl.ml [new file with mode: 0644]
popl09/asttopopl.ml [new file with mode: 0644]
popl09/asttopopl.mli [new file with mode: 0644]
popl09/flag_popl.ml [new file with mode: 0644]
popl09/insert_quantifiers.ml [new file with mode: 0644]
popl09/insert_quantifiers.mli [new file with mode: 0644]
popl09/popl.ml [new file with mode: 0644]
popl09/popl.mli [new file with mode: 0644]
popl09/popltoctl.ml [new file with mode: 0644]
popl09/popltoctl.mli [new file with mode: 0644]
popl09/pretty_print_popl.ml [new file with mode: 0644]
popl09/pretty_print_popl.mli [new file with mode: 0644]
python/Makefile
python/coccilib/org.py [new file with mode: 0644]
python/coccilib/output_base.py
python/coccilib/output_gui.py [deleted file]
python/coccilib/output_trac.py
python/no_pycocci.ml
python/no_pycocci_aux.ml
python/yes_pycocci.ml
python/yes_pycocci_aux.ml
scripts/coccicheck/Makefile [new file with mode: 0644]
scripts/coccicheck/README [new file with mode: 0644]
scripts/coccicheck/bin/update_result_tree [new file with mode: 0755]
scripts/coccicheck/cocci/badzero.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/empty.cocci.model [new file with mode: 0644]
scripts/coccicheck/cocci/find_unsigned.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/isnull.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/kmalloc7.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/malloc.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/notand.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/notand.h [new file with mode: 0644]
scripts/coccicheck/cocci/notnull.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/null_ref.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/open.cocci [new file with mode: 0644]
scripts/coccicheck/cocci/unused.cocci [new file with mode: 0644]
scripts/coccicheck/configure [new file with mode: 0755]
scripts/extract_c_and_res.pl
scripts/extract_examples.pl
scripts/extractor_README.pl
scripts/gather_failed.pl
scripts/readme.pl
scripts/stat_directories.pl
scripts/stat_directories_complete.pl
scripts/stat_directory_complete.pl
standard.h
test.ml
testing.ml
testing.mli
tests/SCORE_expected.sexp [deleted file]
tests/SCORE_expected.sexp.save [deleted file]
tests/addaft.c [new file with mode: 0644]
tests/addaft.cocci [new file with mode: 0644]
tests/addaft.res [new file with mode: 0644]
tests/addbefore.c [new file with mode: 0644]
tests/addbefore.cocci [new file with mode: 0644]
tests/addbefore.res [new file with mode: 0644]
tests/addbeforeafter.c [new file with mode: 0644]
tests/addbeforeafter.cocci [new file with mode: 0644]
tests/addbeforeafter.res [new file with mode: 0644]
tests/addtoo.c [new file with mode: 0644]
tests/addtoo.cocci [new file with mode: 0644]
tests/addtoo.res [new file with mode: 0644]
tests/befS.c [new file with mode: 0644]
tests/befS.cocci [new file with mode: 0644]
tests/befS.res [new file with mode: 0644]
tests/doundo.c [new file with mode: 0644]
tests/doundo.cocci [new file with mode: 0644]
tests/doundo.res [new file with mode: 0644]
tests/ifb.c [new file with mode: 0644]
tests/justremove.c [new file with mode: 0644]
tests/justremove.cocci [new file with mode: 0644]
tests/justremove.res [new file with mode: 0644]
tests/labels_metastatement.res
tests/regexp.c [new file with mode: 0644]
tests/regexp.cocci [new file with mode: 0644]
tests/regexp.res [new file with mode: 0644]
tests/regexp2.c [new file with mode: 0644]
tests/regexp2.cocci [new file with mode: 0644]
tests/regexp2.res [new file with mode: 0644]
tests/regexp3.c [new file with mode: 0644]
tests/regexp3.cocci [new file with mode: 0644]
tests/regexp3.res [new file with mode: 0644]
tests/sizestar.c [new file with mode: 0644]
tests/sizestar.cocci [new file with mode: 0644]
tests/sizestar.res [new file with mode: 0644]
tests/test_s.c [new file with mode: 0644]
tests/test_s.cocci [new file with mode: 0644]
tests/test_s.res [new file with mode: 0644]
tests/tyex.c [new file with mode: 0644]
tests/tyex.cocci [new file with mode: 0644]
tests/tyex.res [new file with mode: 0644]
tools/Makefile
tools/a.out [deleted file]
tools/alloc_free.ml
tools/bridge.ml
tools/dir_stats.ml
tools/extract_c_and_res.ml
tools/generate_dependencies.ml
tools/gitgrep.ml
tools/gitsort.ml
tools/licensify.ml
tools/process_isoprofile.ml
tools/split_patch.ml
tools/spp.ml