Release coccinelle-0.1.3
authorCoccinelle <cocci@diku.dk>
Sun, 3 Oct 2010 11:56:42 +0000 (13:56 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Sun, 3 Oct 2010 11:56:42 +0000 (13:56 +0200)
commit91eba41f0f6608eba3499d37eeaf609f7060fffe
tree62e40fb6e01efd7088f1860ac7fd8da029c2a503
parent485bce717a659e363d3bb74bf2ff76f1cd3b0ff7
Release coccinelle-0.1.3

** Features:
   - help in building the configuration macro file. The -parse_c action
     now returns the 10 most frequent parsing errors. This give useful
     hints to extend standard.h.

** Bugfix:
   - positions no longer allowed on \(, \|, and \)
   - improved propagation of negation for isos in the presence of parens
   - convert Todos in flow graph construction to recoverable errors
   - fixed bug in treatment of when != true and when != false, to allow more
     than one of them per ...
   - improve parsing of typedef of function pointer.
   - improve typing.
   - parsing and typing support for old style C function declaration.
   - consider position variables as modifications when optimizing the
     translation into CTL of function definitions
98 files changed:
.#cocci.ml.1.290 [new file with mode: 0644]
.cvsignore
.depend
changes.txt
cocci.ml
commitmsg
commons/.depend
commons/Makefile
commons/common.ml
commons/common.mli
commons/common_extra.ml
commons/glimpse.ml
commons/oarray.ml
commons/oarray.mli
commons/oassoc.ml
commons/oassoc.mli
commons/ocollection.ml
commons/ocollection.mli
commons/ocollection/oassoc_buffer.ml [moved from commons/oassoc_buffer.ml with 62% similarity]
commons/ocollection/oassoc_buffer.mli [moved from commons/oassoc_buffer.mli with 91% similarity]
commons/ocollection/oassocb.ml [moved from commons/oassocb.ml with 92% similarity]
commons/ocollection/oassocbdb.ml [moved from commons/oassocbdb.ml with 62% similarity]
commons/ocollection/oassocbdb.mli [moved from commons/oassocbdb.mli with 59% similarity]
commons/ocollection/oassocbdb_string.ml [new file with mode: 0644]
commons/ocollection/oassocbdb_string.mli [new file with mode: 0644]
commons/ocollection/oassocdbm.ml [moved from commons/oassocdbm.ml with 88% similarity]
commons/ocollection/oassocdbm.mli [moved from commons/oassocdbm.mli with 96% similarity]
commons/ocollection/oassoch.ml [moved from commons/oassoch.ml with 95% similarity]
commons/ocollection/oassocid.ml [moved from commons/oassocid.ml with 88% similarity]
commons/ocollection/ograph2way.ml [moved from commons/ograph2way.ml with 100% similarity]
commons/ocollection/ograph2way.mli [moved from commons/ograph2way.mli with 100% similarity]
commons/ocollection/osetb.ml [moved from commons/osetb.ml with 100% similarity]
commons/ocollection/oseth.ml [moved from commons/oseth.ml with 100% similarity]
commons/ocollection/oseti.ml [moved from commons/oseti.ml with 100% similarity]
commons/ocollection/osetpt.ml [moved from commons/osetpt.ml with 100% similarity]
copyright.txt
ctl/.depend
engine/.#Makefile.1.50 [new file with mode: 0644]
engine/.#asttoctl2.ml.1.145 [new file with mode: 0644]
engine/.#asttoctl2.ml.1.147 [new file with mode: 0644]
engine/.depend
engine/Makefile
engine/asttoctl2.ml
engine/cocci_vs_c.ml
engine/cocci_vs_c.mli
engine/lib_matcher_c.ml [new file with mode: 0644]
engine/lib_matcher_c.mli [new file with mode: 0644]
globals/config.ml
globals/flag.ml
parsing_c/.depend
parsing_c/Makefile
parsing_c/ast_c.ml
parsing_c/ast_to_flow.ml
parsing_c/ast_to_flow.mli
parsing_c/cpp_ast_c.ml
parsing_c/cpp_ast_c.mli
parsing_c/flag_parsing_c.ml
parsing_c/lexer_c.mll
parsing_c/lexer_parser.ml
parsing_c/lib_parsing_c.ml
parsing_c/parse_c.ml
parsing_c/parse_c.mli
parsing_c/parser_c.mly
parsing_c/parsing_hacks.ml
parsing_c/parsing_hacks.mli
parsing_c/parsing_stat.ml
parsing_c/pretty_print_c.ml
parsing_c/pretty_print_c.mli
parsing_c/test_parsing_c.ml
parsing_c/token_helpers.ml
parsing_c/token_helpers.mli
parsing_c/type_annoter_c.ml
parsing_c/type_annoter_c.mli
parsing_c/type_c.ml [new file with mode: 0644]
parsing_c/type_c.mli [new file with mode: 0644]
parsing_c/visitor_c.ml
parsing_c/visitor_c.mli
parsing_cocci/.#iso_pattern.ml.1.144 [new file with mode: 0644]
parsing_cocci/.#parse_cocci.ml.1.164 [new file with mode: 0644]
parsing_cocci/.#type_infer.ml.1.55 [new file with mode: 0644]
parsing_cocci/.depend
parsing_cocci/iso_pattern.ml
parsing_cocci/parse_cocci.ml
parsing_cocci/type_infer.ml
pycaml/Makefile
python/coccilib/.cvsignore [new file with mode: 0644]
python/coccilib/coccigui/.cvsignore [new file with mode: 0644]
python/coccilib/output.py
tests/assert.c [new file with mode: 0644]
tests/deftodo.c [new file with mode: 0644]
tests/deftodo.cocci [new file with mode: 0644]
tests/deftodo.res [new file with mode: 0644]
tests/doubleswitch.c [new file with mode: 0644]
tests/doubleswitch.cocci [new file with mode: 0644]
tests/doubleswitch.res [new file with mode: 0644]
tools/bridge.ml
tools/distributed/.cvsignore [new file with mode: 0644]
tools/distributed/spatch_linux_script