Re: [Cocci] version 1.0.0
Comments and bug reports are welcome. How do you think about to reconsider the current status of script files like autogen and Makefile.release? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
On Sun, Apr 19, 2015 at 05:37:21PM +0200, Julia Lawall wrote: Coccinelle version 1.0.0 is released. Congratulations, Julia! And thank you *very much* for all your hard work! All the best, Wolfram signature.asc Description: Digital signature ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
Dear Markus, SF Markus Elfring (2015/04/20 10:25 +0200): Comments and bug reports are welcome. Thanks for your update on development progress. Does this software version contain also any improvements for the documentation which were occasionally missed in previous releases? I'm not sure there has been a lot done on documentation so far, but Julia will certainly correct this point if I'm wrong. However, improving the user documentation is part of what I am supposdd to do on Coccinelle dugring this year. That's why, I'd be interested in any feedback. In particular, if you could let me know which are the areas which, according to you, are not so well documented, that woudl be helpful. Best wishes, Sébastien. ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
Comments and bug reports are welcome. Thanks for your update on development progress. Does this software version contain also any improvements for the documentation which were occasionally missed in previous releases? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
On Mon, 20 Apr 2015, Wolfram Sang wrote: On Sun, Apr 19, 2015 at 05:37:21PM +0200, Julia Lawall wrote: Coccinelle version 1.0.0 is released. Congratulations, Julia! And thank you *very much* for all your hard work! Thanks. I hope it will actually work :) julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
Sébastien, However, improving the user documentation is part of what I am supposdd to do on Coccinelle dugring this year. That's why, I'd be interested in any feedback. In particular, if you could let me know which are the areas which, according to you, are not so well documented, that woudl be helpful. More and more people are hosting their documentation on github, written using markdown. https://help.github.com/articles/github-flavored-markdown/ Some examples: https://github.com/showcases/writing This approach also makes it easier for you to allow others to contribute. -- Derek M. Jones Software analysis tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
On Sun, 19 Apr 2015, Derek M Jones wrote: Julia, Coccinelle version 1.0.0 is released. Congratulations! It must be over 10 years since I first started using Coccinelle. Should I pencil in 2025 for the release of version 2 ;-) Good point. Perhaps... Actually, I think Coccinelle was first released in 2007 or so, so not quite 10 years. julia -- Derek M. Jones Software analysis tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] version 1.0.0
Julia, Coccinelle version 1.0.0 is released. Congratulations! It must be over 10 years since I first started using Coccinelle. Should I pencil in 2025 for the release of version 2 ;-) -- Derek M. Jones Software analysis tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
[Cocci] version 1.0.0-rc24 released
Some changes: * Previously, it was possible to declare a metavariable to match only a local variable, by saying local idexpression x;. Now it is also possible to match a global variable, by saying global expression x;. * By default, when a semantic patch changes a function header, eg adding new parameter, Coccinelle generates a corresponding rule for changing the function prototype. It is now possible to disable this behavior, by putting disable prototypes in the rule header. * Varargs. It is now possible to match and transform functions that have varargs in their parameter list. Because of the conflict with the ... notation of Coccinelle, the ... of C is written .. (6 dots) in a semantc patch. * Inline in function prototypes. These were not previously allowed in semantic patch code. * #ifdef on kernel version. Previously these were always considered to be comments. Now they are treated like other #ifdefs. Specifically, if such an ifdef is around complete statements, the control flow will behave as for an if. * Parallelism in Coccinelle. The following is an extract from the option documentation: --jobs int: Run the specified number of jobs in parallel. Can be abbreviated as -j. This option is not compatible with the use of an initialize or finalize rule in the semantic patch. This option furthermore creates a temporary directory in the directory from which spatch is executed that has the name of the semantic patch (without its extension) and that contains stdout and stderr files generated by the various processes. When the semantic patch completes, the contents of these files are printed to standard output and standard error, respectively, and the directory is removed. --chunksize int. The specified number of files are dispatched as a single unit of parallelism. This option is only interesting with the options --all-includes or --recursive-includes, when combined with the option --include-headers-for-types. In this case, parsed header files are cached. It is only the files that are treated within a single chunk that can benefit from this cache, due to the lack of shared memory in ocaml. julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci