On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> On Mon, Jun 13, 2016 at 09:48:30PM +0200, Julia Lawall wrote:
> >
> >
> > On Mon, 13 Jun 2016, Wolfram Sang wrote:
> >
> > >
> > > > Is there another scripts/coccinelle/ file I can use to test against to
> > > > demo
> > > > against glimpse/id
On Mon, Jun 13, 2016 at 09:48:30PM +0200, Julia Lawall wrote:
>
>
> On Mon, 13 Jun 2016, Wolfram Sang wrote:
>
> >
> > > Is there another scripts/coccinelle/ file I can use to test against to
> > > demo
> > > against glimpse/idutils/gitgrep best?
> >
> > I'd think this one may be a candidate:
On Mon, 13 Jun 2016, Wolfram Sang wrote:
>
> > Is there another scripts/coccinelle/ file I can use to test against to demo
> > against glimpse/idutils/gitgrep best?
>
> I'd think this one may be a candidate:
>
> scripts/coccinelle/misc/irqf_oneshot.cocci
>
> Not too many, but quite some matc
> Is there another scripts/coccinelle/ file I can use to test against to demo
> against glimpse/idutils/gitgrep best?
I'd think this one may be a candidate:
scripts/coccinelle/misc/irqf_oneshot.cocci
Not too many, but quite some matches over the tree.
signature.asc
Description: PGP signature
On Sat, Jun 11, 2016 at 07:24:51AM +0200, Julia Lawall wrote:
>
>
> On Fri, 10 Jun 2016, Wolfram Sang wrote:
>
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with simple 'mkid -s'.
On Sat, Jun 11, 2016 at 07:54:39AM +0200, Julia Lawall wrote:
>
>
> On Sat, 11 Jun 2016, Wolfram Sang wrote:
>
> >
> > > real16m11.692s
> > > user127m50.388s
> > > sys 0m2.168s
> >
> > That's better but not a magnitude, I wonder.
>
> I think that it is because the filtering that C
> works pretty well, and there are quite a lot of files (7514) that contain
> kfree.
Ah, kfree. That explains, I missed that info.
signature.asc
Description: PGP signature
On Sat, 11 Jun 2016, Wolfram Sang wrote:
>
> > It's not as efficient as glimpse because the query language is simpler.
>
> Interesting, what is missing compared to glimpse?
Glimpse allows queries that are arbitrary formulas, up to a limited level
of complexity, involving both && and ||. F
> It's not as efficient as glimpse because the query language is simpler.
Interesting, what is missing compared to glimpse?
> So more filtering has to be done at the ocaml level. But it's probably
> fine in most cases.
For me, it has two advantages over glimpse:
a) it is in the debian pack
> in practice though this seems to not perform better than
> regular grep however its expected to help with some use cases
> so we use that if you have no other indexing options in place
> available.
Would you like to fix a typo in this paragraph?
Regards,
Markus
On Sat, 11 Jun 2016, Wolfram Sang wrote:
>
> > real16m11.692s
> > user127m50.388s
> > sys 0m2.168s
>
> That's better but not a magnitude, I wonder.
I think that it is because the filtering that Coccinelle does already
works pretty well, and there are quite a lot of files (7514) t
> real16m11.692s
> user127m50.388s
> sys 0m2.168s
That's better but not a magnitude, I wonder.
signature.asc
Description: PGP signature
On Fri, 10 Jun 2016, Wolfram Sang wrote:
> > AFAICT coccinelle does not have integration support for id-utils though.
>
> I used it just today ;) -- "--use-idutils ./ID"
>
> ID was generated with simple 'mkid -s'.
Coccinelle includes a script scripts/idutils_index.sh
This does mkid -i C --ou
On Sat, 11 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:51:26PM +0200, Wolfram Sang wrote:
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with simple 'mkid -s'.
>
On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:43:57PM +0200, Wolfram Sang wrote:
> > > > Well, slightly better.
> > >
> > > No, it should be much better. You would have to look at the standard
> >
> > I use id-utils regularly and it is indeed at least a magnitude
On Sat, Jun 11, 2016 at 12:08:32AM +0200, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:51:26PM +0200, Wolfram Sang wrote:
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with s
On Fri, Jun 10, 2016 at 11:51:26PM +0200, Wolfram Sang wrote:
> > AFAICT coccinelle does not have integration support for id-utils though.
>
> I used it just today ;) -- "--use-idutils ./ID"
>
> ID was generated with simple 'mkid -s'.
>
Sweet, testing that now.
Luis
> AFAICT coccinelle does not have integration support for id-utils though.
I used it just today ;) -- "--use-idutils ./ID"
ID was generated with simple 'mkid -s'.
signature.asc
Description: PGP signature
On Fri, Jun 10, 2016 at 11:43:57PM +0200, Wolfram Sang wrote:
> > > Well, slightly better.
> >
> > No, it should be much better. You would have to look at the standard
>
> I use id-utils regularly and it is indeed at least a magnitude better.
> The indexing often pays off already with the first
> > Well, slightly better.
>
> No, it should be much better. You would have to look at the standard
I use id-utils regularly and it is indeed at least a magnitude better.
The indexing often pays off already with the first coccinelle run for
me. Highly recommended.
signature.asc
Description:
20 matches
Mail list logo