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.
>
> Thus I have read your research report 8918 (Prequel: A Patch-Like Query 
> Language
> for Commit History Search) to some degree.
>
> 1. I imagine that the activities behind the description for a chapter like
> "5 Compilation of PQL into SmPL" triggered some development challenges.
>
>    Does an interface exists to view the generated SmPL source code?

It goes into the directory specified with the --tmp argument.


>
> 2. Did this new query language influence further improvements for the semantic
>    patch language?
>
>    * Did the error reporting become a bit safer by this command usage?

No.  The code bases are separate,

>    * 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).

> 3. I get concerns from the section "5.2 Idealized syntax".
>    How would you categorise it according to the Chomsky-Schützenberger 
> hierarchy?

No idea.  It seems like a straightforward BNF.

> 4. How many means do you offer to restrict commit ranges according to the 
> section
>    "6.1 Commit selection"?

The commit range is just X..Y.  X ad Y could be commit ids or tags (v4.0,
for example).

> 5. Can the combination of words like "token" and "regular expression"
>    be occasionally confusing?

Does the word regular expression occur in the paper?

> 6. How interesting will discussions become around the used hardware
>    that is mentioned in the chapter "7 Evaluation" and the corresponding
>    software performance?

Not sure what there is to discuss.

> 7. How is the status for function and class libraries for this application 
> domain?

No idea what this means.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to