messages from 2022-07-14 09:59:41 to 2022-10-26 08:05:58 UTC [more...]
[cocci] No longer possible to build with system dependencies?
2022-10-26 8:05 UTC (7+ messages)
[cocci] coccinelle is skipping include files?
2022-10-24 16:53 UTC (5+ messages)
[cocci] "not supported"
2022-10-24 16:39 UTC (19+ messages)
` [cocci] Replacing special do { … } while loops by selected function calls
` [cocci] Checking the replacement “get_random_u32_above(0)”
` [cocci] algebraic simplification possibilities with SmPL
[cocci] [PATCH 1/2] engine/postprocess_transinfo.ml: Fix indentation
2022-10-22 12:56 UTC (5+ messages)
` [cocci] [PATCH 2/2] Distinguish script-based fresh ids with differing args
[cocci] [PATCH] Exit with non-zero status when spatch on a directory fails
2022-10-22 12:26 UTC (15+ messages)
` [cocci] [PATCH v2] "
[cocci] Handling of SmPL code exclusion specifications
2022-10-21 14:30 UTC (2+ messages)
` [cocci] Explaining related information for computation tree logic?
[cocci] spatch adds zero or two lines after if statement
2022-10-18 16:34 UTC (8+ messages)
` [cocci] How to fix diff generation for adding if statements before return statements?
[cocci] how to check a for "don't care" state of a variable?
2022-10-10 19:12 UTC (16+ messages)
` [cocci] Reconsidering selected SmPL code
[cocci] "reachable by inconsistent control-flow paths"
2022-10-10 17:45 UTC (10+ messages)
` [cocci] Replacement of random functions for Linux
[cocci] [PATCH] python: Add make_expr and include_match documentation
2022-10-09 18:38 UTC (3+ messages)
[cocci] Matching against struct_group()
2022-10-05 10:25 UTC (4+ messages)
[cocci] usage of locks
2022-10-03 12:52 UTC (22+ messages)
` [cocci] Checking the usage of locks with SmPL
` [cocci] Checking explanations for SmPL functionality
[cocci] spatch --jobs N missing matches?
2022-09-28 5:23 UTC (7+ messages)
[cocci] [PATCH v3 0/2] coccinelle: Introduce cocci script to detect missing mutext and spin lock initialization
2022-09-25 20:33 UTC (14+ messages)
` [cocci] [PATCH v3 1/2] coccinelle: locks: add missing_mutex_init.cocci script
` [cocci] [v3 "
` [cocci] [PATCH v3 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script
[cocci] [PATCH v2 1/2] coccinelle: locks: add missing_mutex_init.cocci script
2022-09-22 12:27 UTC (9+ messages)
` [cocci] [PATCH v2 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script
` [cocci] [v2 1/2] coccinelle: locks: add missing_mutex_init.cocci script
[cocci] [PATCH] scripts: coccicheck: use "grep -E" instead of "egrep"
2022-09-21 19:26 UTC (2+ messages)
[cocci] pcre vs pcre2
2022-09-20 13:46 UTC (4+ messages)
[cocci] [PATCH 1/2] coccinelle: locks: add missing_mutex_init.cocci script
2022-09-19 8:10 UTC (8+ messages)
` [cocci] [PATCH 2/2] coccinelle: locks: add missing_spin_lock_init.cocci script
[cocci]
2022-09-05 9:02 UTC
[cocci] Optimizing *.cocci rules by concat'ing them
2022-09-01 18:12 UTC (3+ messages)
` [cocci] Checking consequences from concatenation of SmPL rules
[cocci] match arbitrary argument position
2022-08-21 11:33 UTC (25+ messages)
` [cocci] Working with parameter/expression lists by SmPL
` [cocci] Checking a comment addition
[cocci] match arbitrary argument position
2022-08-16 8:58 UTC
[cocci] Replacing struct field references with field references from a different struct
2022-08-08 11:56 UTC (2+ messages)
[cocci] Can coccinelle be used for adding header files
2022-08-03 11:26 UTC (3+ messages)
[cocci] [PATCH] scripts/coccinelle/free: add NULL test before dev_{put, hold} functions
2022-07-16 13:38 UTC (2+ messages)
[cocci] spatch errors out with "not supported"
2022-07-16 13:02 UTC (2+ messages)
[cocci] How do I disable formatting for the "+"-side of a rule?
2022-07-15 9:50 UTC (5+ messages)
page: next (older) | prev (newer) | latest
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).