From: mcgrof@kernel.org (Luis R. Rodriguez)
To: cocci@systeme.lip6.fr
Subject: [Cocci] [RFC v4 0/9] coccicheck: private review for modernization
Date: Wed, 29 Jun 2016 15:10:17 -0700 [thread overview]
Message-ID: <1467238226-10822-1-git-send-email-mcgrof@kernel.org> (raw)
Here's a v4 RFC, sending it privately to avoid bikeshedding in public.
These are rebased on top of linux-next tag next-20160623.
Luis R. Rodriguez (9):
coccicheck: move spatch binary check up
coccicheck: make SPFLAGS more useful
coccicheck: enable parmap support
coccicheck: add support for DEBUG_FILE
coccicheck: replace --very-quiet with --quit when debugging
scripts: add Linux .cocciconfig for coccinelle
coccicheck: add support for requring a coccinelle version
coccicheck: refer to Documentation/coccinelle.txt and wiki
scripts/coccinelle: require coccinelle >= 1.0.4 on
device_node_continue.cocci
.cocciconfig | 3 +
.gitignore | 1 +
Documentation/coccinelle.txt | 125 ++++++++++++++++++++-
scripts/coccicheck | 96 ++++++++++++++--
.../iterators/device_node_continue.cocci | 3 +
5 files changed, 218 insertions(+), 10 deletions(-)
create mode 100644 .cocciconfig
--
2.8.4
WARNING: multiple messages have this Message-ID (diff)
From: "Luis R. Rodriguez" <mcgrof@kernel.org>
To: Julia.Lawall@lip6.fr, nicolas.palix@imag.fr,
Gilles.Muller@lip6.fr, mmarek@suse.com
Cc: akpm@linux-foundation.org, gregkh@linuxfoundation.org,
markivx@codeaurora.org, stephen.boyd@linaro.org,
zohar@linux.vnet.ibm.com, broonie@kernel.org,
ming.lei@canonical.com, tiwai@suse.d, johannes@sipsolutions.net,
chunkeey@googlemail.com, hauke@hauke-m.de,
jwboyer@fedoraproject.org, dmitry.torokhov@gmail.com,
dwmw2@infradead.org, jslaby@suse.com,
torvalds@linux-foundation.org, deepa.kernel@gmail.com,
keescook@chromium.org, cocci@systeme.lip6.fr,
linux-kernel@vger.kernel.org,
"Luis R. Rodriguez" <mcgrof@kernel.org>
Subject: [RFC v4 0/9] coccicheck: private review for modernization
Date: Wed, 29 Jun 2016 15:10:17 -0700 [thread overview]
Message-ID: <1467238226-10822-1-git-send-email-mcgrof@kernel.org> (raw)
Here's a v4 RFC, sending it privately to avoid bikeshedding in public.
These are rebased on top of linux-next tag next-20160623.
Luis R. Rodriguez (9):
coccicheck: move spatch binary check up
coccicheck: make SPFLAGS more useful
coccicheck: enable parmap support
coccicheck: add support for DEBUG_FILE
coccicheck: replace --very-quiet with --quit when debugging
scripts: add Linux .cocciconfig for coccinelle
coccicheck: add support for requring a coccinelle version
coccicheck: refer to Documentation/coccinelle.txt and wiki
scripts/coccinelle: require coccinelle >= 1.0.4 on
device_node_continue.cocci
.cocciconfig | 3 +
.gitignore | 1 +
Documentation/coccinelle.txt | 125 ++++++++++++++++++++-
scripts/coccicheck | 96 ++++++++++++++--
.../iterators/device_node_continue.cocci | 3 +
5 files changed, 218 insertions(+), 10 deletions(-)
create mode 100644 .cocciconfig
--
2.8.4
next reply other threads:[~2016-06-29 22:10 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-29 22:10 Luis R. Rodriguez [this message]
2016-06-29 22:10 ` [RFC v4 0/9] coccicheck: private review for modernization Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 1/9] coccicheck: move spatch binary check up Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 2/9] coccicheck: make SPFLAGS more useful Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 3/9] coccicheck: enable parmap support Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 4/9] coccicheck: add support for DEBUG_FILE Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 5/9] coccicheck: replace --very-quiet with --quit when debugging Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 6/9] scripts: add Linux .cocciconfig for coccinelle Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 7/9] coccicheck: add support for requring a coccinelle version Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 8/9] coccicheck: refer to Documentation/coccinelle.txt and wiki Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:10 ` [Cocci] [RFC v4 9/9] scripts/coccinelle: require coccinelle >= 1.0.4 on device_node_continue.cocci Luis R. Rodriguez
2016-06-29 22:10 ` Luis R. Rodriguez
2016-06-29 22:14 ` [Cocci] [RFC v4 0/9] coccicheck: private review for modernization Luis R. Rodriguez
2016-06-29 22:14 ` Luis R. Rodriguez
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=1467238226-10822-1-git-send-email-mcgrof@kernel.org \
--to=mcgrof@kernel.org \
--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.