[Cocci] [PATCH] coccicheck: Correct pointer to documentation in coccicheck

Since Documentation/coccinelle.txt was moved to Documentation/dev-tools/coccinelle.rst, this should also be corrected in the coccicheck script. Signed-off-by: Andreas Platschek --- scripts/coccicheck | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff

Re: [Cocci] Querying Git commits with Prequel

> * Run time distribution for the involved scripts There is an updated but not currently public version of the paper with this information. But in general, the run time depends on the complexity of the script, so numbers disassociated from what is being expressed are pretty meaningless. julia

Re: [Cocci] Querying Git commits with Prequel

On Thu, 1 Sep 2016, SF Markus Elfring wrote: > >>* How much will the data format flexibility evolve together with the > >> handling > >> of a key word like "flexible" for metavariables? > > > > No idea what this means (data format flexibility). > > Is this key word the only one which

Re: [Cocci] Querying Git commits with Prequel

>>* How much will the data format flexibility evolve together with the >> handling >> of a key word like "flexible" for metavariables? > > No idea what this means (data format flexibility). Is this key word the only one which was added to "PQL" (while it is processed by "SmPL" in other

Re: [Cocci] Querying Git commits with Prequel

On Thu, 1 Sep 2016, SF Markus Elfring wrote: > > Prequel is like Coccinelle, but for searching in Git commit histories. > > I am curious on how this software approach will evolve further. > > > > http://prequel-pql.gforge.inria.fr/ > > > > Feedback is welcome. > > I pick your offer up now. > >

Re: [Cocci] Querying Git commits with Prequel

> Prequel is like Coccinelle, but for searching in Git commit histories. I am curious on how this software approach will evolve further. > http://prequel-pql.gforge.inria.fr/ > > Feedback is welcome. I pick your offer up now. Thus I have read your research report 8918 (Prequel: A Patch-Like