cocci.inria.fr archive mirror

 messages from 2019-11-29 10:58:00 to 2020-02-09 08:09:23 UTC [more...]

[Cocci] [PATCH 0/2] cocci: Align the C AST and Cocci AST for pointer
 2020-02-09  8:09 UTC  (11+ messages)
` [Cocci] [PATCH 1/2] parsing_c: Align "
` [Cocci] [PATCH 2/2] tests: Add test case for matching ptr to const ptr and variants
` [Cocci] [PATCH v2 0/2] cocci: Align the C AST and Cocci AST for pointer
  ` [Cocci] [PATCH v2 1/2] parsing_c: Align "
  ` [Cocci] [PATCH v2 2/2] tests: Add test case to match const pointer variants

[Cocci] Replacing the type casting
 2020-02-08 20:37 UTC  (3+ messages)

[Cocci] Replacing the type casting
 2020-02-08 19:06 UTC 

[Cocci] Replacing the type casting
 2020-02-08 16:07 UTC  (2+ messages)

[Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for const pointer variants
 2020-02-08 12:56 UTC  (4+ messages)
  ` [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle

[Cocci] Source code transformations around g_autoptr()
 2020-02-08  9:20 UTC 

[Cocci] Q: does spatch understand g_autoptr/g_autofree?
 2020-02-07  6:53 UTC  (3+ messages)

[Cocci] [PATCH 2/2] tests: Add test case for matching pointers to const pointers (and variants)
 2020-02-07  6:24 UTC  (7+ messages)
  ` [Cocci] [2/2] tests: Add test case to match const pointer variants

[Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for pointers
 2020-02-06 11:50 UTC  (2+ messages)

[Cocci] [PATCH 0/2] Align the C AST and Cocci AST for pointers
 2020-02-05 18:30 UTC 

[Cocci] coccinelle depends on unmaintained pygtk
 2020-02-04 15:25 UTC  (3+ messages)

[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  (28+ 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] Replacing printf/format calls based on the data-type
 2019-11-29 14:48 UTC  (2+ messages)
` [Cocci] Replacing printf() parameters according to used data types