cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2020-06-17 03:29:58 to 2020-07-16 13:06:11 UTC [more...]

[Cocci] [PATCH 00/17] parsing_cocci: Add attributefn to the SmPL AST visitor
 2020-07-16 13:05 UTC  (11+ messages)
` [Cocci] [PATCH 01/17] parsing_cocci: visitor_ast: Add attributefn to "
` [Cocci] [PATCH 02/17] parsing_cocci: parse_cocci: Reflect attributefn in "
` [Cocci] [PATCH 03/17] parsing_cocci: cleanup_rules: "
` [Cocci] [PATCH 04/17] parsing_cocci: disjdistr: "
` [Cocci] [PATCH 05/17] parsing_cocci: free_vars: "
` [Cocci] [PATCH 06/17] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 07/17] parsing_cocci: re_constraints: "
` [Cocci] [PATCH 08/17] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 13/17] engine: asttoctl2: "
` [Cocci] [PATCH 15/17] engine: cocci_vs_c: "

[Cocci] [PATCH 00/24] parsing_cocci: Add attributefn to the SmPL AST0 visitor
 2020-07-16 13:00 UTC  (25+ messages)
` [Cocci] [PATCH 01/24] parsing_cocci: visitor_ast0: Add attributefn to "
` [Cocci] [PATCH 02/24] parsing_cocci: ast0toast: Reflect attributefn in "
` [Cocci] [PATCH 03/24] parsing_cocci: check_meta: "
` [Cocci] [PATCH 04/24] parsing_cocci: function_prototypes: "
` [Cocci] [PATCH 05/24] parsing_cocci: iso_compile: "
` [Cocci] [PATCH 06/24] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 07/24] parsing_cocci: parse_cocci: "
` [Cocci] [PATCH 08/24] parsing_cocci: single_statement: "
` [Cocci] [PATCH 09/24] parsing_cocci: unitary_ast0: "
` [Cocci] [PATCH 10/24] parsing_cocci: ast0_cocci: Add AttributeTag to SmPL AST0
` [Cocci] [PATCH 11/24] parsing_cocci: visitor_ast0: Reflect AttributeTag in "
` [Cocci] [PATCH 12/24] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 13/24] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 14/24] parsing_cocci: context_neg: "
` [Cocci] [PATCH 15/24] parsing_cocci: insert_plus: "
` [Cocci] [PATCH 16/24] parsing_cocci: ast_cocci: Add AttributeTag to the SmPL AST
` [Cocci] [PATCH 17/24] parsing_cocci: pretty_print_cocci: Reflect AttributeTag in "
` [Cocci] [PATCH 18/24] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 19/24] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 20/24] parsing_cocci: ast0toast: Reflect AttributeTag in the SmPL ASTs
` [Cocci] [PATCH 21/24] ocaml: coccilib: "
` [Cocci] [PATCH 22/24] parsing_cocci: context_neg: Reflect attributefn in AST0 visitor
` [Cocci] [PATCH 23/24] parsing_cocci: insert_plus: "
` [Cocci] [PATCH 24/24] tools: spgen: "

[Cocci] [PATCH] parsing_cocci: parse_cocci: Extend is_permissible_proto list
 2020-07-11  8:02 UTC  (3+ messages)

[Cocci] [PATCH v2 RESEND 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-08 18:22 UTC  (22+ messages)
` [Cocci] [PATCH v2 RESEND 01/20] parsing_cocci: ast0_cocci: "
` [Cocci] [PATCH v2 RESEND 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH v2 RESEND 03/20] parsing_cocci: visitor_ast0: "
` [Cocci] [PATCH v2 RESEND 04/20] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH v2 RESEND 05/20] parsing_cocci: arity: "
` [Cocci] [PATCH v2 RESEND 06/20] parsing_cocci: compute_lines: "
` [Cocci] [PATCH v2 RESEND 07/20] parsing_cocci: context_neg: "
` [Cocci] [PATCH v2 RESEND 08/20] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH v2 RESEND 09/20] parsing_cocci: index: "
` [Cocci] [PATCH v2 RESEND 10/20] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH v2 RESEND 11/20] parsing_cocci: ast0toast: "
` [Cocci] [PATCH v2 RESEND 12/20] parsing_cocci: ast_cocci: "
` [Cocci] [PATCH v2 RESEND 13/20] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH v2 RESEND 14/20] parsing_cocci: get_constants2: "
` [Cocci] [PATCH v2 RESEND 15/20] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH v2 RESEND 16/20] parsing_cocci: unify_ast: "
` [Cocci] [PATCH v2 RESEND 17/20] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH v2 RESEND 18/20] parsing_c: unparse_cocci: "
` [Cocci] [PATCH v2 RESEND 19/20] engine: cocci_vs_c: "
` [Cocci] [PATCH v2 RESEND 20/20] ocaml: coccilib: "

[Cocci] Adding labels without indentation before specific statements?
 2020-07-08 17:30 UTC  (3+ messages)
` [Cocci] [PATCH] Coccinelle: Add a SmPL script for the reconsideration of function calls before return statements

[Cocci] [PATCH v2 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-08 12:56 UTC  (22+ messages)
` [Cocci] [PATCH 01/20] parsing_cocci: ast0_cocci: "
` [Cocci] [PATCH 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH 03/20] parsing_cocci: visitor_ast0: "
` [Cocci] [PATCH 04/20] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH 05/20] parsing_cocci: arity: "
` [Cocci] [PATCH 06/20] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 07/20] parsing_cocci: context_neg: "
` [Cocci] [PATCH 08/20] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 09/20] parsing_cocci: index: "
` [Cocci] [PATCH 10/20] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 11/20] parsing_cocci: ast0toast: "
` [Cocci] [PATCH 12/20] parsing_cocci: ast_cocci: "
` [Cocci] [PATCH 13/20] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 14/20] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 15/20] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 16/20] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 17/20] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 18/20] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 19/20] engine: cocci_vs_c: "
` [Cocci] [PATCH 20/20] ocaml: coccilib: "

[Cocci] [PATCH] coccinelle: api: add kzfree script
 2020-07-07 21:35 UTC  (5+ messages)
` [Cocci] [PATCH v3] "

[Cocci] [PATCH 00/20] parsing_cocci: Wrap SmPL Attributes
 2020-07-07  9:51 UTC  (24+ messages)
` [Cocci] [PATCH 01/20] parsing_cocci: ast0_cocci: "
` [Cocci] [PATCH 02/20] parsing_cocci: parser: "
` [Cocci] [PATCH 03/20] parsing_cocci: visitor_ast0: "
` [Cocci] [PATCH 04/20] parsing_cocci: adjust_pragmas: "
` [Cocci] [PATCH 05/20] parsing_cocci: arity: "
` [Cocci] [PATCH 06/20] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 07/20] parsing_cocci: context_neg: "
` [Cocci] [PATCH 08/20] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 09/20] parsing_cocci: index: "
` [Cocci] [PATCH 10/20] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 11/20] parsing_cocci: ast0toast: "
` [Cocci] [PATCH 12/20] parsing_cocci: ast_cocci: "
` [Cocci] [PATCH 13/20] parsing_cocci: visitor_ast: "
` [Cocci] [PATCH 14/20] parsing_cocci: get_constants2: "
` [Cocci] [PATCH 15/20] parsing_cocci: safe_for_multi_decls: "
` [Cocci] [PATCH 16/20] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 17/20] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 18/20] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 19/20] engine: cocci_vs_c: "
` [Cocci] [PATCH 20/20] ocaml: coccilib: "

[Cocci] [PATCH v3] Documentation: Coccinelle: fix various typos etc
 2020-07-02 11:52 UTC  (3+ messages)

[Cocci] [PATCH v2] Documentation: Coccinelle: fix typos and command example
 2020-07-02  5:40 UTC  (10+ messages)
          ` [Cocci] [v2] "

[Cocci] [PATCH] Documentation: Coccinelle: fix typos and command example
 2020-06-29 21:01 UTC  (2+ messages)

[Cocci] Checking data processing results for a special SmPL disjunction
 2020-06-27  8:42 UTC 

[Cocci] Checking the parsing for a nested SmPL disjunction
 2020-06-26 18:49 UTC  (8+ messages)

[Cocci] Checking the display of SmPL isomorphism results (with pointers)
 2020-06-26  7:44 UTC  (2+ messages)

[Cocci] Checking the parsing for a specific SmPL disjunction
 2020-06-25 18:00 UTC  (3+ messages)

[Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci
 2020-06-22 16:14 UTC  (8+ messages)

[Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overlow checks
 2020-06-24 19:42 UTC  (26+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] coccinelle: misc: add array_size_dup script to detect missed overflow checks
` [Cocci] [PATCH v4] "

[Cocci] [PATCH v4] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-23  7:02 UTC 

[Cocci] [v3] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-22 11:22 UTC 

[Cocci] [PATCH] coccinelle: api/kstrdup: fix coccinelle position
 2020-06-19 19:32 UTC  (2+ messages)

[Cocci] Fwd: [~npalix/ubuntu/coccinelle/focal] coccinelle 1.0.8~20.04npalix1 (Accepted)
 2020-06-18 20:06 UTC  (2+ messages)

[Cocci] moving variable declarations up
 2020-06-18 15:49 UTC  (8+ messages)

[Cocci] [PATCH v2] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-18 12:24 UTC 

[Cocci] moving variable declarations up
 2020-06-18  7:34 UTC  (2+ messages)

[Cocci] [PATCH] coccinelle: api: add device_attr_show script
 2020-06-17 20:46 UTC  (4+ messages)

[Cocci] Checking the replacement of two specific function calls
 2020-06-17 18:20 UTC  (7+ messages)

[Cocci] coccinelle issues
 2020-06-17 16:37 UTC  (9+ messages)

[Cocci] [PATCH] coccinelle: misc: add array_size_dup script to detect missed overflow checks
 2020-06-17 16:14 UTC 

[Cocci] [PATCH] coccinelle: misc: Add array_size_dup script to detect missed overflow checks
 2020-06-17 14:36 UTC 

[Cocci] Software analysis around data type annotations
 2020-06-17  8:52 UTC  (7+ messages)

[Cocci] Ubuntu Focal release for Coccinelle
 2020-06-17  7:51 UTC  (2+ messages)


This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).