From: elfring@users.sourceforge.net (SF Markus Elfring)
To: cocci@systeme.lip6.fr
Subject: [Cocci] Software evolution after Coccinelle 1.0.0-rc24?
Date: Wed, 04 Feb 2015 09:29:42 +0100 [thread overview]
Message-ID: <54D1D876.2070305@users.sourceforge.net> (raw)
In-Reply-To: <alpine.DEB.2.02.1502032259220.2026@localhost6.localdomain6>
> Now it is also possible to match a global variable,
> by saying "global expression x;".
Would you like to refer to "idexpression" here?
> It is now possible to disable this behavior,
> by putting disable prototypes in the rule header.
Which software release will mention this functionality also in the manual?
> Because of the conflict with the ... notation of Coccinelle,
> the ... of C is written ...... (6 dots) in a semantc patch.
How do you think about to support also two ellipsis characters
(Unicode: 0x2026) there?
> --jobs <int>: Run the specified number of jobs in parallel.
This addition is nice.
> This option is not compatible with the use of an initialize or finalize
> rule in the semantic patch.
I find that this limitation will need more explanations.
How do the calls to the script interpreters for OCaml and Python fit into
the current architecture around process parallelism?
> This option furthermore creates a temporary directory in the directory
> from which spatch is executed that has the name of the semantic patch
> (without its extension) and that contains stdout and stderr files generated
> by the various processes.
Will it become possible to specify alternative paths for such
temporary work directories?
Further update suggestions:
* When will the parameter "parse-handler" be described also in the documentation
source file "spatch_options.tex"?
* Would you like to fix another dangling link for the topic "Tips and Tricks"?
http://coccinelle.lip6.fr/docs/main_grammar015.html
Regards,
Markus
next prev parent reply other threads:[~2015-02-04 8:29 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-02-03 22:12 [Cocci] version 1.0.0-rc24 released Julia Lawall
2015-02-04 8:29 ` SF Markus Elfring [this message]
2015-02-04 8:39 ` [Cocci] Software evolution after Coccinelle 1.0.0-rc24? Julia Lawall
2015-02-04 9:11 ` SF Markus Elfring
2015-02-04 12:31 ` 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=54D1D876.2070305@users.sourceforge.net \
--to=elfring@users.sourceforge.net \
--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.