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 ? thx! hofrat _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
