From: der.herr@hofr.at (Nicholas Mc Guire)
To: cocci@systeme.lip6.fr
Subject: [Cocci] new release: 1.0.1
Date: Wed, 24 Jun 2015 15:41:15 +0200 [thread overview]
Message-ID: <20150624134115.GA5698@opentech.at> (raw)
In-Reply-To: <alpine.DEB.2.10.1506180654120.2663@hadrien>
On Thu, 18 Jun 2015, Julia Lawall wrote:
> Main changes:
>
> * There is a --use-gitgrep option for using git grep to preselect files.
> I'm not sure about the exact performance tradeoffs.
>
> * Small improvement on the handling of "default:" in a switch.
>
> * A change in the treatment of ... in functions that contain loops. This
> could potentially cause a performance problem, although I have not
> observed it. The previous version was incorrect, though. Some further
> performance improvements could be possible.
>
just noticed that git pull says "Already up-to-date."
but there is no 1.0.1 tag ?
url = https://github.com/coccinelle/coccinelle - wrong repo ?
thx!
hofrat
next prev parent reply other threads:[~2015-06-24 13:41 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-06-18 13:57 [Cocci] new release: 1.0.1 Julia Lawall
2015-06-19 18:20 ` [Cocci] release: 1.0.1: Checking installation dependencies SF Markus Elfring
2015-06-19 19:13 ` Quentin Lambert
2015-06-20 8:25 ` SF Markus Elfring
2015-06-20 9:15 ` SF Markus Elfring
2015-06-22 13:41 ` Quentin Lambert
2015-06-22 14:17 ` SF Markus Elfring
2015-06-23 9:34 ` Quentin Lambert
2015-06-23 9:57 ` SF Markus Elfring
2015-06-23 17:28 ` Luis R. Rodriguez
2015-07-01 8:33 ` Quentin Lambert
2015-07-01 15:10 ` SF Markus Elfring
2015-07-02 6:08 ` Julia Lawall
2015-07-02 7:23 ` SF Markus Elfring
2015-07-02 7:35 ` Julia Lawall
2015-07-02 8:05 ` SF Markus Elfring
2015-07-02 8:11 ` Julia Lawall
2015-07-02 8:38 ` SF Markus Elfring
2015-07-02 9:06 ` Quentin Lambert
2015-07-01 19:10 ` SF Markus Elfring
2015-06-24 13:41 ` Nicholas Mc Guire [this message]
2015-06-24 14:06 ` [Cocci] new release: 1.0.1 Julia Lawall
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20150624134115.GA5698@opentech.at \
--to=der.herr@hofr.at \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox