./devel/coccinelle [program matching and transformation engine]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.0.4, Package name: coccinelle-1.0.4
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
Coccinelle is a program matching and transformation engine which
provides the language SmPL (Semantic Patch Language) for specifying
desired matches and transformations in C code.

Coccinelle was initially targeted towards performing collateral
evolutions in Linux. Such evolutions comprise the changes that are
needed in client code in response to evolutions in library APIs, and may
include modifications such as renaming a function, adding a function
argument whose value is somehow context-dependent, and reorganizing a
data structure.

Beyond collateral evolutions, Coccinelle is successfully used (by INRIA
and others) for finding and fixing bugs in systems code.

See also: http://home.regit.org/technical-articles/coccinelle-for-the-newbie/


Filesize: 2425.994 KB
Version History (View Complete History)
  • (2015-10-29) Updated to version: coccinelle-1.0.4
  • (2015-10-27) Updated to version: coccinelle-1.0.3
  • (2015-09-13) Updated to version: coccinelle-1.0.2
  • (2012-10-13) Updated to version: coccinelle-1.0.0rc15
  • (2012-07-18) Updated to version: coccinelle-1.0.0rc11
  • (2011-09-05) Updated to version: coccinelle-1.0.0rc7
  • (2011-08-23) Updated to version: coccinelle-1.0.0rc6
  • (2011-08-16) Updated to version: coccinelle-1.0.0rc5
  • (2011-07-05) Updated to version: coccinelle-1.0.0rc4
  • (2011-06-17) Updated to version: coccinelle-1.0.0rc3
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2016-11-01 16:02:59 by Kenneth R Westerback | Files touched by this commit (8)
Log message:
Update ocaml-pcre to 7.2.3. Bump revision of ports depending on ocaml-pcre.
   2016-06-26 08:36:58 by Kenneth R Westerback | Files touched by this commit (1)
Log message:
Change to PLIST means bumping REVISION.
Found by naddy@ during bulk build. Seconded by espie@.
   2016-06-24 09:59:13 by Kenneth R Westerback | Files touched by this commit (42)
Log message:
Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep
them all compiling.
Tweaks include updating
ocaml-batteries 2.3.1 -> 2.5.0
ocaml-lwt 2.4.8 -> 2.5.2
ocaml-ppx-tools 0.99.2 -> 4.03.0
ocaml-camlp4 4.02+6 -> 4.03+1
utop 1.15 -> 1.19.2
and fixes to coccinelle and wyrd to let them build on bytecode archs.
Other necessary tweaks from the various homes of the projects.
Everything still builds on amd64 (native and bytecode) and sparc64 (bytecode).
ok anil@ sthen@ so final 4.3.0 tweaks can be done in-tree.
   2016-06-24 09:59:13 by Kenneth R Westerback | Files touched by this commit (42)
Log message:
Upgrade Ocaml to 4.3.0 and tweak ports the minimal amount to keep
them all compiling.
Tweaks include updating
ocaml-batteries 2.3.1 -> 2.5.0
ocaml-lwt 2.4.8 -> 2.5.2
ocaml-ppx-tools 0.99.2 -> 4.03.0
ocaml-camlp4 4.02+6 -> 4.03+1
utop 1.15 -> 1.19.2
and fixes to coccinelle and wyrd to let them build on bytecode archs.
Other necessary tweaks from the various homes of the projects.
Everything still builds on amd64 (native and bytecode) and sparc64 (bytecode).
ok anil@ sthen@ so final 4.3.0 tweaks can be done in-tree.
   2016-03-20 10:12:27 by Christian Weisgerber | Files touched by this commit (104)
Log message:
drop SHARED_ONLY from python and ruby ports
   2015-12-10 01:47:03 by Landry Breuil | Files touched by this commit (1)
Log message:
Doesnt package on alpha/sparc64/macppc for yes_prepare_ocamlcocci.cmi
not existing, probably a dynamic ocaml fluff - ocaml ppl should have a
look.
   2015-10-29 09:41:36 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to coccinelle-1.0.4
   2015-10-29 09:41:36 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to coccinelle-1.0.4
   2015-10-29 09:41:36 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to coccinelle-1.0.4
   2015-10-29 09:41:36 by Stuart Henderson | Files touched by this commit (4)
Log message:
update to coccinelle-1.0.4
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-10-27 08:43:07 by Stuart Henderson | Files touched by this commit (7)
Log message:
update to coccinelle-1.0.3
   2015-09-18 14:36:35 by Stuart Henderson | Files touched by this commit (2)
Log message:
fix following ocaml-parmap changes
   2015-09-18 14:36:35 by Stuart Henderson | Files touched by this commit (2)
Log message:
fix following ocaml-parmap changes
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-09-13 09:21:16 by Stuart Henderson | Files touched by this commit (10)
Log message:
update to coccinelle-1.0.2
   2015-08-30 10:18:48 by Anil Madhavapeddy | Files touched by this commit (6)
Log message:
bump REVISION for OCaml 4.02.3 update
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-08-16 02:26:16 by Stuart Henderson | Files touched by this commit (6)
Log message:
update to Coccinelle 1.0.0rc5
   2011-07-05 02:38:06 by Stuart Henderson | Files touched by this commit (2)
Log message:
update to coccinelle 1.0.0rc4
   2011-07-05 02:38:06 by Stuart Henderson | Files touched by this commit (2)
Log message:
update to coccinelle 1.0.0rc4
   2011-06-22 05:28:36 by Stuart Henderson | Files touched by this commit (1)
Log message:
take maintainer
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-16 17:24:49 by Stuart Henderson | Files touched by this commit (5)
Log message:
update to coccinelle 1.0rc3 and fix running the regression tests
- Better handling of the case of a matched declaration that should only
be replaced by other top level things.
- Improved filtering of result of matching atomic patterns
- Drop positions before creating function prototype rules
- Adjust position of { introduced by adding multiple statements in a
single-statement position
- Drop newline after function call ( when all arguments on that line are
eliminated
- Accept removal of a single declaration, replaced by arbitrary,
non-declaration code
- smpl_spacing takes into account newlines, indentation
   2011-06-12 06:31:47 by Stuart Henderson | Files touched by this commit (3)
Log message:
update to coccinelle 1.0.0-rc2, tested by mk@.
(yes I know there is an rc3, will update later).
   2011-06-12 06:31:47 by Stuart Henderson | Files touched by this commit (3)
Log message:
update to coccinelle 1.0.0-rc2, tested by mk@.
(yes I know there is an rc3, will update later).
   2011-06-12 06:31:47 by Stuart Henderson | Files touched by this commit (3)
Log message:
update to coccinelle 1.0.0-rc2, tested by mk@.
(yes I know there is an rc3, will update later).
   2011-06-08 11:40:09 by Jasper Lievisse Adriaanse | Files touched by this commit (27)
Log message:
bump after default python version switch
   2011-05-15 04:17:38 by Stuart Henderson | Files touched by this commit (2)
Log message:
- Coccinelle native-code builds require dynlib support so only attempt
to use this where dynlib is available
- on native-code arch, only build the native version and install this
to be used by default - it's about 5x faster
   2011-05-15 04:17:38 by Stuart Henderson | Files touched by this commit (2)
Log message:
- Coccinelle native-code builds require dynlib support so only attempt
to use this where dynlib is available
- on native-code arch, only build the native version and install this
to be used by default - it's about 5x faster