cocci.inria.fr archive mirror

 messages from 2019-08-12 10:01:40 to 2019-10-07 20:42:49 UTC [more...]

[Cocci] [RFC PATCH] scripts: Fix coccicheck failed
 2019-10-07 13:15 UTC  (39+ messages)
          ` [Cocci] [RFC] "
                ` [Cocci] [PATCH] scripts: add_namespace: "
                      ` [Cocci] "
    ` [Cocci] [PATCH 0/2] Coccinelle: Extend directory hierarchy
      ` [Cocci] [PATCH 1/2] Coccinelle: Move the SmPL script “add_namespace.cocci” into a new directory
      ` [Cocci] [PATCH 2/2] Coccinelle: Move coccicheck directories into a new subdirectory

[Cocci] Adding code after function return types with SmPL
 2019-10-07 12:48 UTC 

[Cocci] Adding code after function return types with SmPL
 2019-10-07 12:48 UTC 

[Cocci] Checking the parsing status for “linux/string.h”
 2019-10-07 11:13 UTC 

[Cocci] Missing support in SmPL for wide char character constants and string literals
 2019-10-05 20:33 UTC  (9+ messages)

[Cocci] [PATCH] clarify misleading warning message
 2019-10-05  9:34 UTC  (4+ messages)
  ` [Cocci] "

[Cocci] Reducing source code around return statements with SmPL?
 2019-10-01 14:30 UTC  (31+ messages)
  ` [Cocci] [PATCH] Coccinelle: Add a SmPL script for the reconsideration of specific combinations of assignment and return statements
    ` [Cocci] [PATCH v2] "

[Cocci] 1.0.8 on Ubuntu
 2019-09-30 19:43 UTC 

[Cocci] 1.0.8
 2019-09-26  7:09 UTC  (2+ messages)
` [Cocci] Progress around Coccinelle 1.0.8

[Cocci] Munich, Germany, Oct. 8th: Intro to Semantic Patching with Coccinelle
 2019-09-21  6:31 UTC 

[Cocci] Compiling with OCaml 4.08
 2019-09-19  9:29 UTC  (10+ messages)
    ` [Cocci] Compiling with OCaml 4.09

[Cocci] [PATCH] coccinelle: api: add devm_platform_ioremap_resource script
 2019-09-19  7:21 UTC  (4+ messages)
` [Cocci] Coccinelle: "

[Cocci] Coccinelle: pci_free_consistent: Checking when constraints
 2019-09-16  6:24 UTC  (5+ messages)

[Cocci] const in parameter lists
 2019-09-15 11:38 UTC  (9+ messages)

[Cocci] continue statement of death?
 2019-09-12 14:51 UTC  (5+ messages)

[Cocci] Checking parsing difficulties around SmPL when constraints
 2019-09-11  9:09 UTC  (3+ messages)

[Cocci] Adjusting SmPL script “tests/nest3.cocci”?
 2019-09-11  8:28 UTC  (2+ messages)

[Cocci] Adjusting SmPL script “ptr_ret.cocci”?
 2019-09-07 16:40 UTC  (4+ messages)
  ` [Cocci] [PATCH] Coccinelle: Reduce rules in SmPL script “ptr_ret.cocci”

[Cocci] [PATCH] scripts: coccinelle: check for !(un)?likely usage
 2019-09-07  8:05 UTC  (25+ messages)
` [Cocci] [PATCH v2] "
      ` [Cocci] [v2] "

[Cocci] [PATCH -next] coccinelle: platform_get_irq: Fix parse error
 2019-09-06  6:59 UTC  (5+ messages)

[Cocci] [RFC PATCH] coccinelle: check for integer overflow in binary search
 2019-09-05 14:23 UTC  (6+ messages)

[Cocci] Matching variable declarations
 2019-09-05 14:08 UTC  (3+ messages)

[Cocci] [PATCH v2 0/10] Symbol namespaces - RFC
 2019-08-29 12:13 UTC  (9+ messages)
  ` [Cocci] [PATCH v2 08/10] scripts: Coccinelle script for namespace dependencies
    ` [Cocci] [v2 "
      ` [Cocci] [PATCH v3 08/11] "

[Cocci] Challenges around asterisk usage in SmPL code
 2019-08-28 11:50 UTC  (15+ messages)
      ` [Cocci] Searching for unary operations with SmPL
            ` [Cocci] Checking information from “--parse-cocci”
          ` [Cocci] Checking null pointer handling with SmPL

[Cocci] SmPL highlighting on GitHub and GitLab
 2019-08-28  7:40 UTC  (3+ messages)

[Cocci] Rule for turning !unlikely to likely
 2019-08-24 13:01 UTC  (3+ messages)

[Cocci] [PATCH] floppy: fix usercopy direction
 2019-08-13  7:50 UTC  (6+ messages)
      ` [Cocci] "