From: julia.lawall@lip6.fr (Julia Lawall)
To: cocci@systeme.lip6.fr
Subject: [Cocci] new release: 1.0.1
Date: Thu, 18 Jun 2015 06:57:44 -0700 (PDT) [thread overview]
Message-ID: <alpine.DEB.2.10.1506180654120.2663@hadrien> (raw)
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.
julia
next reply other threads:[~2015-06-18 13:57 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-06-18 13:57 Julia Lawall [this message]
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 ` [Cocci] new release: 1.0.1 Nicholas Mc Guire
2015-06-24 14:06 ` 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=alpine.DEB.2.10.1506180654120.2663@hadrien \
--to=julia.lawall@lip6.fr \
--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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.