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, 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.
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.
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, 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.
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.
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
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
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
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
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
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
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
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
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 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
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
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
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
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
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
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
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
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"
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"
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
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
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
>
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
>
32 matches
Mail list logo