changes.txt

   1 -*- org -*-
   2
   3 * 0.1.4
   4
   5 ** Features:
   6 - can match patterns of the form unsigned T or signed T, where T is a
   7   metavariable
   8 - dropped the sizeof_parens isomorphism, which was made redundant by the
   9   paren isomorphism
  10 - simple rule generation
  11 - long long added to SmPL
  12
  13 ** Bugfix:
  14 - trailing , ; and ) no longer left on a line by themselves
  15 - better treatment of error exit when the searched for code matches the
  16   error exit condition.
  17 - fix incorrect treatment of parentheses in test_exps that could allow +
  18   code to be added twice
  19 - don't ask whether iterator names and declarer names should be declared as
  20   metavariables.
  21 - slightly better support for expression list metavariables.
  22 - short and long allowed for array index types in SmPL
  23 - more restrictions on type inference for pointer arithmetic in SmPL
  24 - allow isomorphisms to apply when + code is anywhere within all - terms
  25 - changed order of printing const and volatile
  26 - allow  eg ... <... in plus code
  27 - better formatting of generated if/while/etc. code
  28 - better parse error reporting when the problem is at the end of the file
  29
  30 ** Internals:
  31 - isomorphisms don't apply under signed/unsigned, to prevent the creation
  32   of things like unsigned signed int.  Need a better solution for this.
  33
  34 * 0.1.3
  35
  36 ** Features:
  37 - help in building the configuration macro file. The -parse_c action
  38   now returns the 10 most frequent parsing errors. This give useful
  39   hints to extend standard.h.
  40
  41 ** Bugfix:
  42 - positions no longer allowed on \(, \|, and \)
  43 - improved propagation of negation for isos in the presence of parens
  44 - convert Todos in flow graph construction to recoverable errors
  45 - fixed bug in treatment of when != true and when != false, to allow more
  46   than one of them per ...
  47 - improve parsing of typedef of function pointer.
  48 - improve typing.
  49 - parsing and typing support for old style C function declaration.
  50 - consider position variables as modifications when optimizing the
  51   translation into CTL of function definitions
  52
  53 ** Internals:
  54
  55 * 0.1.2
  56
  57 ** Bugfix:
  58 - better handling of ifdef on statements in control flow graph.
  59 - transform files even if they do not end in .c (thanks to Vegard Nossum)
  60
  61 ** Internals:
  62 - merge code of yacfe
  63
  64 * 0.1.1
  65
  66 ** Langage:
  67  - support for initializer at toplevel, cf -test substruct
  68
  69 * 0.1
  70
  71 ** first public release of the source code:
  72
  73 ** Features
  74  - embeded python scripting
  75  - position
  76
  77 * beta
  78
  79 ** first public release of the binary
  80
  81 * alpha
  82
  83 ** Features
  84  - lots of features ... look at coccinelle research papers and tutorials.