On Wed, 24 Jun 2015, Nicholas Mc Guire wrote:
> On Thu, 18 Jun 2015, Julia Lawall wrote: > > > Main changes: > > > > * There is a --use-gitgrep option for using git grep to preselect files. > > I'm not sure about the exact performance tradeoffs. > > > > * Small improvement on the handling of "default:" in a switch. > > > > * A change in the treatment of ... in functions that contain loops. This > > could potentially cause a performance problem, although I have not > > observed it. The previous version was incorrect, though. Some further > > performance improvements could be possible. > > > just noticed that git pull says "Already up-to-date." > but there is no 1.0.1 tag ? > > url = https://github.com/coccinelle/coccinelle - wrong repo ? I have the impression that github has not been updated. Someone else does that. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
