-Release coccinelle-0.1.6
-
-** Language:
- - the ability to add comments
-
-** Features:
- - grouping of generated rules with -hrule option
- - handling of special coccinelle comments
- /* {{coccinelle:skip_start}} */ and
- /* {{coccinelle:skip_end}} */
- allowing to give more hints to the C parser.
- Thanks to Flavien@lebarbe.net for the idea.
- - the ability to print the values of more (but not all) kinds of
- metavariables from python
- - new vim SmPL mode.
- Thanks to Alexander Faroy.
-
-** Bugfix:
- - consider the ident tokens also in the 2 lines before the error line for the
- 10-most-problematic-parsing-errors diagnostic.
- - SmPL parser allows cast as the argument of a pointer
- - SmPL type checker allows enum as an array index
- - Better generation of fresh metavariables names in hrule
- - no more warnings about things that should be metavariables when there is
- a disjunction in a function position
- - bugfix in parser, better error message.
- Thanks to Ali-Erdem OZCAN <ali-erdem.ozcan@st.com> for the bug report.
+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.