cocci.inria.fr archive mirror

 messages from 2019-11-21 20:06:59 to 2020-02-04 14:43:16 UTC [more...]

[Cocci] Replacing a std::string check by strcmp() with SmPL
 2020-02-04 14:42 UTC  (24+ messages)
          ` [Cocci] Replacing usages of “auto” with SmPL?
  ` [Cocci] Searching for usage "
              ` [Cocci] Usage concerns around the SmPL construct “<+... … ...+>”

[Cocci] [PATCH v2 0/3] cocci: Improve management of macros before typedefs
 2020-01-25 15:01 UTC  (9+ messages)
` [Cocci] [PATCH v2 1/3] parsing_c: Handle case of macro before typedef
` [Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs
` [Cocci] [PATCH v2 3/3] tests: Add test case for <macro> bool <ident>
` [Cocci] [PATCH v3 0/3] cocci: Improve management of macros before typedefs
` [Cocci] [PATCH v3 1/3] parsing_c: Handle case of macro before typedef
  ` [Cocci] [PATCH v3 2/3] parsing_hacks: Add bool to list of known typedefs
  ` [Cocci] [PATCH v3 3/3] tests: Add test case for <macro> bool <ident>

[Cocci] [PATCH v2 2/3] parsing_hacks: Add bool to list of known typedefs
 2020-01-21 12:05 UTC  (3+ messages)

[Cocci] [PATCH v2 0/3] cocci: Improve management of macros before typedefs
 2020-01-21 10:43 UTC  (2+ messages)

[Cocci] [PATCH v2 3/3] tests: Add test case for <macro> bool <ident>
 2020-01-21 10:22 UTC 

[Cocci] [PATCH] parsing_c: Handle case of macro before typedef
 2020-01-21  9:35 UTC 

[Cocci] [PATCH] parsing_hacks: Add bool to list of known typedefs
 2020-01-21  6:31 UTC  (6+ messages)

[Cocci] [PATCH] parsing_c: Handle case of macro before typedef
 2020-01-21  6:28 UTC  (2+ messages)

[Cocci] [PATCH] parsing_c: Handle case of macro before typedef
 2020-01-19 13:25 UTC  (2+ messages)

[Cocci] FYI failures reported with Python 3.9 with PyImport_Cleanup
 2020-01-16 16:37 UTC 

[Cocci] [PATCH] parsing_c: Add space for tokens after *
 2020-01-16 15:36 UTC  (6+ messages)
` [Cocci] [PATCH 0/2] cocci: "
  ` [Cocci] [PATCH 1/2] parsing_c: "
  ` [Cocci] [PATCH 2/2] tests: Add test case for * const *

[Cocci] [PATCH 2/2] tests: Add test case for * const *
 2020-01-16 13:42 UTC 

[Cocci] [PATCH] parsing_c: Add space for tokens after *
 2020-01-16 13:02 UTC  (6+ messages)
  ` [Cocci] "

[Cocci] Q: does spatch understand typeof?
 2020-01-15 16:00 UTC  (8+ messages)

[Cocci] Concatenating parameters into a string
 2020-01-14  7:16 UTC  (6+ messages)

[Cocci] [PATCH v3] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-12  8:49 UTC  (10+ messages)
    ` [Cocci] [v3] "

[Cocci] [PATCH 0/2] cocci: Support user comments attached to identifiers
 2020-01-11  9:18 UTC  (5+ messages)
` [Cocci] [PATCH 1/2] parsing_c: Support user comments attached to identifier
` [Cocci] [PATCH 2/2] tests: Add test case for user comments attached to ident
  ` [Cocci] [PATCH 2/2] tests: Add test case for user comments attached to identifiers
  ` [Cocci] [2/2] "

[Cocci] [PATCH v2] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-10 15:46 UTC  (13+ messages)
    ` [Cocci] [v2] "
    ` [Cocci] [v2] coccinelle: semantic code search "

[Cocci] Coccinelle (software): Request for permission to use on Wikipedia
 2020-01-10 15:00 UTC 

[Cocci] [PATCH] parsing_c: Handle case of annotation in function proto/def
 2020-01-09 10:47 UTC  (2+ messages)

[Cocci] transforming arguments to statement macros?
 2020-01-08 22:05 UTC  (11+ messages)
        ` [Cocci] Adding semicolons after macro calls
            ` [Cocci] Improving support for data processing around "

[Cocci] [PATCH] parsing_c: Handle case of annotation and ; or = after ident
 2020-01-08 13:00 UTC  (2+ messages)

[Cocci] [PATCH] coccinnelle: Remove ptr_ret script
 2020-01-07 10:29 UTC  (2+ messages)

[Cocci] [PATCH] coccinelle: semantic patch to check for inappropriate do_div() calls
 2020-01-05 12:07 UTC  (10+ messages)
    ` [Cocci] "

[Cocci] Experiences around program transformations (including Java)
 2019-12-22 14:06 UTC 

[Cocci] Automatic program repair workshop in London
 2019-12-16 16:27 UTC 

[Cocci] Replacing printf/format calls based on the data-type
 2019-12-07  7:49 UTC  (31+ messages)
  ` [Cocci] Replacing printf() parameters according to used data types
                ` [Cocci] Changing format string usage with SmPL?
                      ` [Cocci] Generation of expression lists by SmPL script rules?

[Cocci] [PATCH 0/2] cocci: Fix continue statement of death and similar cases
 2019-11-27 20:43 UTC  (5+ messages)
` [Cocci] [PATCH 1/2] engine: remove circular references in MINUS/NOREPLACEMENT case
` [Cocci] [PATCH 2/2] tests: Add test case for statement removed and added

[Cocci] Coccinelle has some competition
 2019-11-27 20:42 UTC  (2+ messages)

[Cocci] Problem writing simple patch
 2019-11-27  6:00 UTC  (6+ messages)
  ` [Cocci] Specifying conditional compilation with SmPL

[Cocci] Concerns around type safety for usage of expressions
 2019-11-24 10:40 UTC  (16+ messages)
                      ` [Cocci] Checking influence of variability with SmPL

[Cocci] [PATCH] net: Zeroing the structure ethtool_wolinfo in ethtool_get_wol()
 2019-11-21 20:40 UTC  (6+ messages)

[Cocci] "already tagged token" error?
 2019-11-21 20:42 UTC  (3+ messages)
` [Cocci] Merging SmPL rules