On Wed, Jun 15, 2016 at 05:44:01PM +0200, Julia Lawall wrote:
>
>
> On Wed, 15 Jun 2016, Luis R. Rodriguez wrote:
> > OK thanks. I remove --very-quiet now if --profile is used within SPFLAGS,
> > I'll extend
> > this to also avoid --very-quiet if --show-trying is used. SPFLAGS is where
> > you
On Wed, 15 Jun 2016, Luis R. Rodriguez wrote:
> On Wed, Jun 15, 2016 at 09:39:49AM +0200, Julia Lawall wrote:
> >
> >
> > On Wed, 15 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Tue, Jun 14, 2016 at 11:17:13PM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Tue, 14 Jun 2016, Luis R. Rod
On Wed, Jun 15, 2016 at 09:39:49AM +0200, Julia Lawall wrote:
>
>
> On Wed, 15 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Tue, Jun 14, 2016 at 11:17:13PM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> > >
> > > > On Tue, Jun 14, 2016 at 10:47:32PM +
On Wed, 15 Jun 2016, Luis R. Rodriguez wrote:
> On Tue, Jun 14, 2016 at 11:17:13PM +0200, Julia Lawall wrote:
> >
> >
> > On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Tue, Jun 14, 2016 at 10:47:32PM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Tue, 14 Jun 2016, Luis R. Rod
On Tue, Jun 14, 2016 at 11:17:13PM +0200, Julia Lawall wrote:
>
>
> On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Tue, Jun 14, 2016 at 10:47:32PM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> > >
> > > > On Tue, Jun 14, 2016 at 07:22:03A
On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> On Tue, Jun 14, 2016 at 10:47:32PM +0200, Julia Lawall wrote:
> >
> >
> > On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Tue, Jun 14, 2016 at 07:22:03AM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Mon, 13 Jun 2016, Luis R
On Tue, Jun 14, 2016 at 10:47:32PM +0200, Julia Lawall wrote:
>
>
> On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Tue, Jun 14, 2016 at 07:22:03AM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> > >
> > > > On Mon, Jun 13, 2016 at 09:50:15P
On Tue, 14 Jun 2016, Luis R. Rodriguez wrote:
> On Tue, Jun 14, 2016 at 07:22:03AM +0200, Julia Lawall wrote:
> >
> >
> > On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Mon, Jun 13, 2016 at 09:50:15PM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Mon, 13 Jun 2016, Luis R
On Tue, Jun 14, 2016 at 07:22:03AM +0200, Julia Lawall wrote:
>
>
> On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Mon, Jun 13, 2016 at 09:50:15PM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> > > >
> > > > I'll redirect stderr to stdout
On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> On Mon, Jun 13, 2016 at 09:50:15PM +0200, Julia Lawall wrote:
> >
> >
> > On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Fri, Jun 10, 2016 at 11:21:28PM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Fri, 10 Jun 2016, Luis R
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:50:15PM +0200, Julia Lawall wrote:
>
>
> On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Fri, Jun 10, 2016 at 11:21:28PM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> > >
> > > > On Fri, Jun 10, 2016 at 11:02:38P
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
On Mon, 13 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:21:28PM +0200, Julia Lawall wrote:
> >
> >
> > On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > On Fri, Jun 10, 2016 at 11:02:38PM +0200, Julia Lawall wrote:
> > > >
> > > >
> > > > On Fri, 10 Jun 2016, Luis R
On Fri, Jun 10, 2016 at 11:21:28PM +0200, Julia Lawall wrote:
>
>
> On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
>
> > On Fri, Jun 10, 2016 at 11:02:38PM +0200, Julia Lawall wrote:
> > >
> > >
> > > On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> > >
> > > > Enable indexing optimizations heu
> 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:
On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> On Fri, Jun 10, 2016 at 11:02:38PM +0200, Julia Lawall wrote:
> >
> >
> > On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> >
> > > Enable indexing optimizations heuristics. Coccinelle has
> > > support to make use of its own enhanced "grep" mecha
On Fri, Jun 10, 2016 at 11:02:38PM +0200, Julia Lawall wrote:
>
>
> On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
>
> > Enable indexing optimizations heuristics. Coccinelle has
> > support to make use of its own enhanced "grep" mechanisms
> > instead of using regular grep for searching code 'coc
On Fri, 10 Jun 2016, Luis R. Rodriguez wrote:
> Enable indexing optimizations heuristics. Coccinelle has
> support to make use of its own enhanced "grep" mechanisms
> instead of using regular grep for searching code 'coccigrep',
> in practice though this seems to not perform better than
> regula
Enable indexing optimizations heuristics. Coccinelle has
support to make use of its own enhanced "grep" mechanisms
instead of using regular grep for searching code 'coccigrep',
in practice though this seems to not perform better than
regular grep however its expected to help with some use cases
so
37 matches
Mail list logo
