cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2020-04-24 09:19:20 to 2020-05-11 10:15:07 UTC [more...]

[Cocci] [PATCH v3 00/23] cocci: Add parameter attributes to SmPL
 2020-05-11 10:13 UTC  (24+ messages)
` [Cocci] [PATCH v3 01/23] parsing_cocci: ast0_cocci: Add parameter attributes
` [Cocci] [PATCH v3 02/23] parsing_cocci: parser: Parse Parameter attributes
` [Cocci] [PATCH v3 03/23] parsing_cocci: visitor_ast0: Visit "
` [Cocci] [PATCH v3 04/23] parsing_cocci: arity: Reflect "
` [Cocci] [PATCH v3 05/23] parsing_cocci: check_meta: "
` [Cocci] [PATCH v3 06/23] parsing_cocci: compute_lines: "
` [Cocci] [PATCH v3 07/23] parsing_cocci: context_neg: "
` [Cocci] [PATCH v3 08/23] parsing_cocci: function_prototypes: "
` [Cocci] [PATCH v3 09/23] parsing_cocci: index: "
` [Cocci] [PATCH v3 10/23] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH v3 11/23] parsing_cocci: type_infer: "
` [Cocci] [PATCH v3 12/23] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH v3 13/23] parsing_c: unparse_cocci: "
` [Cocci] [PATCH v3 14/23] parsing_cocci: ast_cocci: Add "
` [Cocci] [PATCH v3 15/23] parsing_cocci: visitor_ast: Visit "
` [Cocci] [PATCH v3 16/23] parsing_cocci: ast0toast: Reflect "
` [Cocci] [PATCH v3 17/23] parsing_cocci: disjdistr: "
` [Cocci] [PATCH v3 18/23] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH v3 19/23] parsing_cocci: unify_ast: "
` [Cocci] [PATCH v3 20/23] engine: cocci_vs_c: Match "
` [Cocci] [PATCH v3 21/23] ocaml: coccilib: Reflect "
` [Cocci] [PATCH v3 22/23] tests: Add test case for removing parameter attributes
` [Cocci] [PATCH v3 23/23] tests: Add test case to detect "

[Cocci] [PATCH v2 00/32] cocci: Add cast attributes to C and SmPL ASTs
 2020-05-11 10:07 UTC  (33+ messages)
` [Cocci] [PATCH v2 01/32] parsing_c: parser: Pass attribute list from type_name
` [Cocci] [PATCH v2 02/32] parsing_cocci: ast0_cocci: Add cast attributes
` [Cocci] [PATCH v2 03/32] parsing_cocci: parser: Parse "
` [Cocci] [PATCH v2 04/32] parsing_cocci: visitor_ast0: Visit "
` [Cocci] [PATCH v2 05/32] parsing_cocci: unparse_ast0: Reflect "
` [Cocci] [PATCH v2 06/32] parsing_cocci: index: Reflect Cast attributes
` [Cocci] [PATCH v2 07/32] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH v2 08/32] parsing_cocci: type_infer: "
` [Cocci] [PATCH v2 09/32] parsing_cocci: arity: "
` [Cocci] [PATCH v2 10/32] parsing_cocci: check_meta: "
` [Cocci] [PATCH v2 11/32] parsing_cocci: compute_lines: "
` [Cocci] [PATCH v2 12/32] parsing_cocci: context_neg: "
` [Cocci] [PATCH v2 13/32] parsing_cocci: single_statement: "
` [Cocci] [PATCH v2 14/32] parsing_cocci: ast_cocci: Add cast attributes
` [Cocci] [PATCH v2 15/32] parsing_cocci: visitor_ast: Visit "
` [Cocci] [PATCH v2 16/32] parsing_cocci: pretty_print_cocci: Print "
` [Cocci] [PATCH v2 17/32] parsing_cocci: ast0toast: Reflect Cast attributes
` [Cocci] [PATCH v2 18/32] parsing_cocci: disjdistr: "
` [Cocci] [PATCH v2 19/32] parsing_cocci: unify_ast: "
` [Cocci] [PATCH v2 20/32] parsing_c: ast_c: Add "
` [Cocci] [PATCH v2 21/32] parsing_c: parser: Parse "
` [Cocci] [PATCH v2 22/32] parsing_c: pretty_print_c: Reflect "
` [Cocci] [PATCH v2 23/32] parsing_c: type_annoter_c: "
` [Cocci] [PATCH v2 24/32] parsing_c: unparse_cocci: "
` [Cocci] [PATCH v2 25/32] parsing_c: visitor_c: Visit "
` [Cocci] [PATCH v2 26/32] engine: check_exhaustive_pattern: Reflect "
` [Cocci] [PATCH v2 27/32] engine: cocci_vs_c: Match "
` [Cocci] [PATCH v2 28/32] ocaml: coccilib: Reflect "
` [Cocci] [PATCH v2 29/32] tools: spgen: Reflect Cast attrs
` [Cocci] [PATCH v2 30/32] tests: Add test case to check cast attribute allminus
` [Cocci] [PATCH v2 31/32] tests: Add test case to remove cast attributes
` [Cocci] [PATCH v2 32/32] tests: Add test case to detect "

[Cocci] make install possible bug
 2020-05-11  9:02 UTC  (2+ messages)

[Cocci] [PATCH -next] iwlwifi: pcie: Use bitwise instead of arithmetic operator for flags
 2020-05-07  4:10 UTC  (2+ messages)

[Cocci] Checking an application of the SmPL construct “<+... … ...+>”
 2020-05-07 16:33 UTC  (3+ messages)

[Cocci] Exit with non-zero status
 2020-05-06 12:24 UTC  (7+ messages)

[Cocci] 1.0.8 on Ubuntu
 2020-05-05 19:50 UTC  (8+ messages)

[Cocci] [PATCH 00/32] cocci: Add cast attributes to C and SmPL ASTs
 2020-05-04 13:18 UTC  (43+ messages)
` [Cocci] [PATCH 01/32] parsing_c: parser: Pass attribute list from type_name
` [Cocci] [PATCH 02/32] parsing_cocci: ast0_cocci: Add cast attributes
` [Cocci] [PATCH 03/32] parsing_cocci: parser: Parse "
` [Cocci] [PATCH 04/32] parsing_cocci: visitor_ast0: Visit "
` [Cocci] [PATCH 05/32] parsing_cocci: unparse_ast0: Reflect "
` [Cocci] [PATCH 06/32] parsing_cocci: index: Reflect Cast attributes
` [Cocci] [PATCH 07/32] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 08/32] parsing_cocci: type_infer: "
` [Cocci] [PATCH 09/32] parsing_cocci: arity: "
` [Cocci] [PATCH 10/32] parsing_cocci: check_meta: "
` [Cocci] [PATCH 11/32] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 12/32] parsing_cocci: context_neg: "
` [Cocci] [PATCH 13/32] parsing_cocci: single_statement: "
` [Cocci] [PATCH 14/32] parsing_cocci: ast_cocci: Add cast attributes
` [Cocci] [PATCH 15/32] parsing_cocci: visitor_ast: Visit "
` [Cocci] [PATCH 16/32] parsing_cocci: pretty_print_cocci: Print "
` [Cocci] [PATCH 17/32] parsing_cocci: ast0toast: Reflect Cast attributes
` [Cocci] [PATCH 18/32] parsing_cocci: disjdistr: "
` [Cocci] [PATCH 19/32] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 20/32] parsing_c: ast_c: Add "
` [Cocci] [PATCH 21/32] parsing_c: parser: Parse "
` [Cocci] [PATCH 22/32] parsing_c: pretty_print_c: Reflect "
` [Cocci] [PATCH 23/32] parsing_c: type_annoter_c: "
` [Cocci] [PATCH 24/32] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 25/32] parsing_c: visitor_c: Visit "
` [Cocci] [PATCH 26/32] engine: check_exhaustive_pattern: Reflect "
` [Cocci] [PATCH 27/32] engine: cocci_vs_c: Match "
` [Cocci] [PATCH 28/32] ocaml: coccilib: Reflect "
` [Cocci] [PATCH 29/32] tools: spgen: Reflect Cast attrs
` [Cocci] [PATCH 30/32] tests: Add test case to check cast attribute allminus
` [Cocci] [PATCH 31/32] tests: Add test case to remove cast attributes
` [Cocci] [PATCH 32/32] tests: Add test case to detect "

[Cocci] Searching for functions with negative return values as error indication
 2020-05-03  9:08 UTC  (10+ messages)
  ` [Cocci] Reporting variations of condition checks according to function calls
          ` [Cocci] More support for SmPL data processing with databases?
                  ` [Cocci] Checking the application of the SmPL isomorphism “drop_else”

[Cocci] Searching for exported Linux functions
 2020-05-02  7:43 UTC  (5+ messages)
  ` [Cocci] Searching for global items in the source code

[Cocci] Using a macro for variable attributes
 2020-05-01 13:45 UTC  (7+ messages)

[Cocci] Checking search results for two enumerations
 2020-05-01  5:15 UTC  (3+ messages)
  ` [Cocci] Checking SmPL data processing for enumerations

[Cocci] Exit with non-zero status
 2020-04-29 15:25 UTC  (4+ messages)

[Cocci] [PATCH v1] console: fix an issue about ioremap leak
 2020-04-23 17:02 UTC  (4+ messages)
  ` [Cocci] console: Complete exception handling in newport_probe()

[Cocci] [PATCH 00/23] cocci: Add parameter attributes to SmPL
 2020-04-28 12:43 UTC  (32+ messages)
` [Cocci] [PATCH 01/23] parsing_cocci: ast0_cocci: Add parameter attributes
` [Cocci] [PATCH 02/23] parsing_cocci: parser: Parse Parameter attributes
` [Cocci] [PATCH 03/23] parsing_cocci: visitor_ast0: Visit "
` [Cocci] [PATCH 04/23] parsing_cocci: arity: Reflect "
` [Cocci] [PATCH 05/23] parsing_cocci: check_meta: "
` [Cocci] [PATCH 06/23] parsing_cocci: compute_lines: "
` [Cocci] [PATCH 07/23] parsing_cocci: context_neg: "
` [Cocci] [PATCH 08/23] parsing_cocci: function_prototypes: "
` [Cocci] [PATCH 09/23] parsing_cocci: index: "
` [Cocci] [PATCH 10/23] parsing_cocci: iso_pattern: "
` [Cocci] [PATCH 11/23] parsing_cocci: type_infer: "
` [Cocci] [PATCH 12/23] parsing_cocci: unparse_ast0: "
` [Cocci] [PATCH 13/23] parsing_c: unparse_cocci: "
` [Cocci] [PATCH 14/23] parsing_cocci: ast_cocci: Add "
` [Cocci] [PATCH 15/23] parsing_cocci: visitor_ast: Visit "
` [Cocci] [PATCH 16/23] parsing_cocci: ast0toast: Reflect "
` [Cocci] [PATCH 17/23] parsing_cocci: disjdistr: "
` [Cocci] [PATCH 18/23] parsing_cocci: pretty_print_cocci: "
` [Cocci] [PATCH 19/23] parsing_cocci: unify_ast: "
` [Cocci] [PATCH 20/23] engine: cocci_vs_c: Match "
` [Cocci] [PATCH 21/23] ocaml: coccilib: Reflect "
` [Cocci] [PATCH 22/23] tests: Add test case for removing parameter attributes
` [Cocci] [PATCH 23/23] tests: Add test case to detect "
` [Cocci] [PATCH v2 08/23] parsing_cocci: function_prototypes: Reflect Parameter attributes

[Cocci] [PATCH] dpaa_eth: Fix comparing pointer to 0
 2020-04-27 11:26 UTC 

[Cocci] [RFC PATCH 00/25] cocci: Improve C parsing of attributes
 2020-04-25 13:42 UTC  (3+ messages)
  ` [Cocci] [RFC "

[Cocci] Evolution around the information “try to delete an expanded token”?
 2020-04-25  8:56 UTC 

[Cocci] [RFC PATCH 23/25] parsing_c: type_c: Add parameter attributes to record
 2020-04-24 13:25 UTC 

[Cocci] [RFC PATCH 17/25] engine: cocci_vs_c: Add allminus argument to attribute_list
 2020-04-24 13:15 UTC 

[Cocci] [RFC PATCH 12/25] parsing_c: cpp_token_c: Introduce MACROANNOTATION hint
 2020-04-24 12:40 UTC 

[Cocci] [RFC PATCH 00/25] cocci: Improve C parsing of attributes
 2020-04-24  9:18 UTC  (18+ messages)
` [Cocci] [RFC PATCH 09/25] parsing_c: parser: Handle struct/union/enum end attributes
` [Cocci] [RFC PATCH 10/25] parsing_c: parser: Add MacroDecl end attributes production
` [Cocci] [RFC PATCH 11/25] parsing_c: parser: cpp_other "
` [Cocci] [RFC PATCH 12/25] parsing_c: cpp_token_c: Introduce MACROANNOTATION hint
` [Cocci] [RFC PATCH 13/25] cocci: standard.h: Annotate attributes with MACROANNOTATION
` [Cocci] [RFC PATCH 14/25] parsing_c: visitor_c: Add vk_attribute and vk_attribute_s
` [Cocci] [RFC PATCH 15/25] parsing_c: lib_parsing_c: Add ii_of_attr
` [Cocci] [RFC PATCH 16/25] engine: Add distrf_attr to PARAM functor
` [Cocci] [RFC PATCH 17/25] engine: cocci_vs_c: Add allminus argument to attribute_list
` [Cocci] [RFC PATCH 18/25] parsing_c: parser: Make abstract_declarator pass attributes
` [Cocci] [RFC PATCH 19/25] cocci: Add parameter attributes to C AST
` [Cocci] [RFC PATCH 20/25] parsing_c: parser: Place parameter attributes in "
` [Cocci] [RFC PATCH 21/25] parsing_c: visitor_c: Visit parameter attributes
` [Cocci] [RFC PATCH 22/25] parsing_c: unparse_hrule: Add parameter attributes in record
` [Cocci] [RFC PATCH 23/25] parsing_c: type_c: Add parameter attributes to record
` [Cocci] [RFC PATCH 24/25] engine: cocci_vs_c: "Match" parameter attributes
` [Cocci] [RFC PATCH 25/25] engine: c_vs_c: Match "


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).