bpt/coccinelle.git
13 years agoRelease coccinelle-0.1.6a
Coccinelle [Sun, 3 Oct 2010 11:57:45 +0000 (13:57 +0200)]
Release coccinelle-0.1.6a

Bugfix.

13 years agoRelease coccinelle-0.1.6
Coccinelle [Sun, 3 Oct 2010 11:57:41 +0000 (13:57 +0200)]
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.

13 years agoRelease coccinelle-0.1.5
Coccinelle [Sun, 3 Oct 2010 11:57:38 +0000 (13:57 +0200)]
Release coccinelle-0.1.5

** Language:
   - added initialiser metavariable
   - added sequences of designators in structures

** Features:
   - improved printing of the C code corresponding to metavariables
   - improved printing when code (eg declarations) is removed at the beginning
     of a block, and then is followed by a blank line
   - slightly less verbose error reporting in parsing_hacks

** Bugfix:
   - fixed some problems with parsing SmPL code where a nest appears after a |
   - better treatment of { }, form in macros wrt unparse_c
   - less quiet for -parse_c
   - improve parsing heuristics regarding macro statement

13 years agoRelease coccinelle-0.1.4
Coccinelle [Sun, 3 Oct 2010 11:57:33 +0000 (13:57 +0200)]
Release coccinelle-0.1.4

** Language:
   - long long added to SmPL

** Documentation:
   - add grammar reference and spatch command line options reference

** Features:
   - can match patterns of the form unsigned T or signed T, where T is a
     metavariable
   - dropped the sizeof_parens isomorphism, which was made redundant by the
     paren isomorphism
   - simple rule generation

** Bugfix:
   - trailing , ; and ) no longer left on a line by themselves
   - better treatment of error exit when the searched for code matches the
     error exit condition.
   - fix incorrect treatment of parentheses in test_exps that could allow +
     code to be added twice
   - don't ask whether iterator names and declarer names should be declared as
     metavariables.
   - slightly better support for expression list metavariables.
   - short and long allowed for array index types in SmPL
   - more restrictions on type inference for pointer arithmetic in SmPL
   - allow isomorphisms to apply when + code is anywhere within all - terms
   - changed order of printing const and volatile
   - allow  eg ... <... in plus code
   - better formatting of generated if/while/etc. code
   - better parse error reporting when the problem is at the end of the file

** Internals:
   - isomorphisms don't apply under signed/unsigned, to prevent the creation
     of things like unsigned signed int.  Need a better solution for this.

13 years agoRelease coccinelle-0.1.3
Coccinelle [Sun, 3 Oct 2010 11:56:42 +0000 (13:56 +0200)]
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

13 years agoRelease coccinelle-0.1.2
Coccinelle [Sun, 3 Oct 2010 11:56:16 +0000 (13:56 +0200)]
Release coccinelle-0.1.2

** Bugfix:
   - better handling of ifdef on statements in control flow graph.
   - transform files even if they do not end in .c (thanks to Vegard Nossum)

** Internals:
   - merge code of yacfe

13 years agoRelease coccinelle-0.1.1
Coccinelle [Sun, 3 Oct 2010 11:56:01 +0000 (13:56 +0200)]
Release coccinelle-0.1.1

** Language:
    - support for initializer at toplevel, cf -test substruct

13 years agoRelease coccinelle-0.1
Coccinelle [Sun, 3 Oct 2010 11:46:58 +0000 (13:46 +0200)]
Release coccinelle-0.1

 * First public release of the source code:
 * Features
   - embeded python scripting
   - position