On Fri, 17 Jul 2015, Luis R. Rodriguez wrote:

> From: "Luis R. Rodriguez" <mcg...@suse.com>
> 
> This v2 changes the way we do git tree inference by using
> git rev-parse. While at it, I decided to mesh in SmPL  <--> patch
> equivalence proof support. This is a generalized solution, I
> originally had written for the backports project, we now give
> this instead a proper home and purpose under pycocci.
> 
> If there are no issues I'll merge this soon, in hopes it will
> make it for the coccinelle 1.0.2 release.
> 
> Luis R. Rodriguez (4):
>   pycocci: add requirements class
>   pycocci: add git class
>   pycocci: figure out if to enable --jobs, --use-gitgrep or
>     --use-glimpse

Do you need patches 2 and 3?

julia

>   pycocci: add Coccinelle SmPL patch proof support
> 
>  tools/pycocci | 475 
> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++--
>  1 file changed, 462 insertions(+), 13 deletions(-)
> 
> -- 
> 2.3.2.209.gd67f9d5.dirty
> 
> _______________________________________________
> Cocci mailing list
> co...@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
> 
--
To unsubscribe from this list: send the line "unsubscribe backports" in

Reply via email to