> I'm not sure that this is worth it. It adds a dependency on a tool > that seems not to be well maintained.
Would any developers like to achieve further software improvements by additional means? How are the chances for corresponding progress from an approach like in a repository by Luis? https://github.com/mcgrof/glimpse > In terms of Coccinelle, I'm not sure that it gives a big benefit. Under which circumstances will the indexing efforts pay off? > Attached is a graph showing the file selection time for Coccinelle for a > selection of fairly complex semantic patches. Would you like to share more information about test cases for this report? Which scripts measured the shown data points? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci