---
- branch: MAIN
  date: Sat Mar 21 23:50:54 UTC 2009
  files:
  - new: 1.1.1.1
    old: '0'
    path: pkgsrc/devel/coccinelle/Makefile
    pathrev: pkgsrc/devel/coccinelle/Makefile@1.1.1.1
    type: imported
  - new: 1.1.1.1
    old: '0'
    path: pkgsrc/devel/coccinelle/DESCR
    pathrev: pkgsrc/devel/coccinelle/DESCR@1.1.1.1
    type: imported
  - new: 1.1.1.1
    old: '0'
    path: pkgsrc/devel/coccinelle/distinfo
    pathrev: pkgsrc/devel/coccinelle/distinfo@1.1.1.1
    type: imported
  - new: 1.1.1.1
    old: '0'
    path: pkgsrc/devel/coccinelle/PLIST
    pathrev: pkgsrc/devel/coccinelle/PLIST@1.1.1.1
    type: imported
  - new: 1.1.1.1
    old: '0'
    path: pkgsrc/devel/coccinelle/patches/patch-aa
    pathrev: pkgsrc/devel/coccinelle/patches/patch-aa@1.1.1.1
    type: imported
  id: 20090321T235054Z.d33197b4ee96e27487dccdb64855c08632150fa5
  log: "Initial import of coccinelle-0.1.6:\n\nThe Linux operating system (OS) is
    evolving rapidly to improve\nperformance and to provide new features. This evolution,
    however,\nmakes it difficult to maintain platform-specific code such as device\ndrivers.
    Indeed, an evolution in a driver support library often\ntriggers the need for
    multiple collateral evolutions in dependent\ndevice drivers, to bring the drivers
    up to date with the new library\nAPI. Currently, collateral evolutions are mostly
    done manually.\nThe large number of drivers, however, implies that this approach\nis
    time-consuming and unreliable, leading to subtle errors when\nmodifications are
    not done consistently. Moreover, as these collateral\nevolutions are often poorly
    documented, the resulting maintenance\nis difficult and costly, frequently introducing
    errors. If a driver\nmaintainer becomes unavailable, the driver quickly falls
    behind\nthe rest of the OS.\n\nIn this project, we propose a language-based approach
    to address\nthe problem of collateral evolution in drivers. Specifically, we\nare
    developing the development environment, Coccinelle, that provides\na transformation
    language for precisely expressing collateral\nevolutions and an interactive transformation
    tool for applying\nthem. The key idea of Coccinelle is to shift the burden of
    collateral\nevolution from the driver maintainer to the OS developer who performs\nthe
    original OS evolution, and who thus understands this evolution\nbest. In our vision,
    the OS developer first uses the Coccinelle\ntransformation language to write a
    semantic patch describing the\nrequired collateral evolution in device drivers
    and then uses the\nCoccinelle transformation tool to validate the semantic patch
    on\nthe drivers in the Linux source distribution. When he has confidence\nin the
    correctness of the semantic patch, he distributes it for\nuse by the maintainers
    of other drivers. Overall, Coccinelle will\nprovide a means for formally documenting
    collateral evolutions and\nfor easing the application of these evolutions to driver
    code.\n\nStatus:\n\nVendor Tag:\tTNF\nRelease Tags:\tpkgsrc-20090321\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/devel/coccinelle'
  unixtime: '1237679454'
  user: wiz