Release coccinelle-0.2.2
authorCoccinelle <cocci@diku.dk>
Sun, 3 Oct 2010 12:03:48 +0000 (14:03 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Sun, 3 Oct 2010 12:03:48 +0000 (14:03 +0200)
commitd6a5560288005da768c418d34b92e811d8e30b8f
treedddcefb7ef42ad6d086e742ddf2e8718b15eaf35
parentaa7214425d48f1e44bdb723016058f518f8ee133
Release coccinelle-0.2.2

** Language:
   - Added ToTestExpression to iso language, see standard.iso for an
     explanation
   - Added depends on to initialize and finalize script code

** Features:
   - Update Emacs mode (cocci.el) to support 'virtual' rules and fix other
     keywords sush as 'depends on', 'using', 'disable'
   - better treatment of != 0 in isos, communtativity for ==/!= for all
     constants
   - allow adding // comments and blank lines (even after cocci + code)
   - Add support for multiple -I options

** Bugfix:
   - correct interaction between virtual rules and included .cocci files
   - improvement in treatment of ! in isos, to avoid duplicating + code
   - improvement in treatment of metavars as isos, to avoid duplicating + code
     between toplevel and variable instantiation
   - test expression of smpl conditional, etc no longer assumed to have type
     int
   - correct + line numbers in the patch produced when using *
   - iso constant metavariable matches an identifier whose name is all capital
     letters, eg NULL
   - allow / at the end of the name of a directory (-dir) or patch prefix
     (-patch)
   - dropped space in + code after the binding of a type metavariable that is
     a pointer type
   - better handling of . or .. in -dir name
   - allow keywords and metavariable names in identifier constraints (not sure
     keywords is very useful, though)
   - no lubtype on arguments of && and || in SmPL
   - allow unknown as type for array indices in SmPL
   - support matching of static annotation on functions that are both static
     and inline
   - support ENOTDIR error in Common.lfile_exists, to allow for the case where
     an include file is in a subdirectory that exists but is an ordinary file,
     not a directory.
   - better management of unbound position variables that appear in
     constraints
   - cause python parser to skip over // comments, hoping that // is not
     meaningful inside python
   - require + on every line of a multiline comment
   - correct calculation of line numbers when there is script code
   - always annotate arguments of && || and ! as test expressions in C code.
changes.txt
commitmsg
docs/manual/main_grammar.pdf
docs/manual/manual.pdf
docs/manual/options.pdf
globals/config.ml.in
parsing_c/type_annoter_c.ml
test.ml
tests/na.c [new file with mode: 0644]
tests/na.cocci [new file with mode: 0644]
tests/na.res [new file with mode: 0644]