messages from 2015-05-17 13:39:03 to 2015-07-15 07:09:21 UTC [more...]
[Cocci] Checking signal handler implementations with SmPL
2015-07-15 7:09 UTC
[Cocci] binary operator matching on v1.0.1
2015-07-14 23:37 UTC (9+ messages)
[Cocci] Error predicate determination with SmPL?
2015-07-13 18:15 UTC (18+ messages)
` [Cocci] Data processing for expression ASTs
` [Cocci] Checking of OCaml functionality
[Cocci] [PATCH] coccinelle: api: extend spatch for dropping unnecessary owner
2015-07-11 13:21 UTC (4+ messages)
[Cocci] binary operator matching
2015-07-09 19:15 UTC (3+ messages)
[Cocci] [cocci] Ask for help
2015-07-08 7:41 UTC (7+ messages)
[Cocci] Various minor parsing bugs
2015-07-04 8:16 UTC (11+ messages)
[Cocci] new release: 1.0.1
2015-07-02 9:06 UTC (22+ messages)
` [Cocci] release: 1.0.1: Checking installation dependencies
[Cocci] Embedded Python Reference count
2015-06-30 7:04 UTC (4+ messages)
[Cocci] [PATCH] Add coccinelle script that makes sure that tables are NULL terminated
2015-06-26 14:39 UTC (12+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] Added tables i2c_device_id and platform_device_id for checking. Extend checking on tables containing structures which are initialized without specifying member name
` [Cocci] [PATCH v4] Added tables i2c_device_id and platform_device_id for
` [Cocci] [PATCH v4] Added tables i2c_device_id and platform_device_id for checking. Extend checking on tables containing structures which are initialized without specifying member name
` [Cocci] [PATCH v5] Added tables (i2c/platform)_device_id "
` [Cocci] [PATCH v6] coccinelle: Improve checking for missing NULL terminators
[Cocci] [PATCH] patches: increase 0001-netlink-portid.cocci dependability
2015-06-26 1:06 UTC (2+ messages)
[Cocci] Extra message "case 1" in generated patches
2015-06-24 16:28 UTC
[Cocci] [PATCH] gentree.py: use Coccinelle's new Parallelism support
2015-06-19 17:51 UTC (2+ messages)
[Cocci] Discrepancy when using -j with path assumptions
2015-06-18 0:07 UTC (3+ messages)
[Cocci] [RFC] pycocci: use internal parallel processing functionality
2015-06-17 23:13 UTC
[Cocci] [PATCH v3 0/4] pci: add and use pci_ioremap_wc_bar()
2015-06-17 17:32 UTC (8+ messages)
[Cocci] [PATCH v4 0/6] x86: document and address MTRR corner cases
2015-06-16 19:31 UTC (3+ messages)
[Cocci] [PATCH RFC V2] coccinelle: flag constants being passed for jiffies
2015-06-14 7:44 UTC (5+ messages)
[Cocci] failure parsing macro replacement of function definition
2015-06-12 0:33 UTC (3+ messages)
[Cocci] Using or for structural #ifdefs
2015-06-09 22:50 UTC (5+ messages)
[Cocci] [PATCH] pycocci: sync pycocci with Coccinelle upstream
2015-06-09 22:22 UTC (6+ messages)
[Cocci] [PATCH 0/4] backports: SmPL patch equivalence support
2015-06-09 22:18 UTC (13+ messages)
` [Cocci] [PATCH 1/4] patches: remove bt_sock_stream_recvmsg() and bt_sock_recvmsg() from ifdefs
` [Cocci] [PATCH 2/4] patches: change 0054-struct-proto_ops-sig backport strategy
` [Cocci] [PATCH 3/4] gentree.py: add SmPL patch equivalence proof support
` [Cocci] [PATCH 4/4] patches: provide 0054-struct-proto_ops-sig SmPL patch replacement
[Cocci] RFD: SmPL patch equivalence support strategy
2015-06-08 21:29 UTC
[Cocci] [PATCH 1/1] scripts/coccinelle/misc: add swap.cocci
2015-06-05 16:16 UTC (5+ messages)
[Cocci] [PATCH v3 0/3] vesafb: remove theoretical MTRR uses
2015-06-04 16:24 UTC (4+ messages)
` [Cocci] [PATCH v3 2/3] video: fbdev: vesafb: add missing mtrr_del() for added MTRR
[Cocci] [PATCH] coccinelle: simple_return: Add a blank line
2015-06-03 8:24 UTC (3+ messages)
[Cocci] [PATCH RFC] coccinelle: flag constants being passed for jiffies
2015-05-28 8:19 UTC (3+ messages)
[Cocci] iteration.cocci
2015-05-27 9:44 UTC (6+ messages)
` [Cocci] Source code analysis around function name lists
[Cocci] Packages for release 1.0.0
2015-05-26 5:22 UTC (4+ messages)
[Cocci] [PATCH 1/2] coccinelle: clk_put.cocci: Adjust commit log of generated patch
2015-05-25 16:08 UTC (6+ messages)
` [Cocci] [PATCH 2/2] coccinelle: pci_free_consistent.cocci: "
[Cocci] [PATCH] coccinelle: irqf_oneshot.cocci: Improve the generated commit log
2015-05-25 8:24 UTC (4+ messages)
[Cocci] array addressing range checking by coccinelle
2015-05-22 11:53 UTC (10+ messages)
` [Cocci] array index range checking
[Cocci] Matching from upper level struct
2015-05-21 17:32 UTC (4+ messages)
[Cocci] [PATCH] coccinelle: api: add vma_pages.cocci
2015-05-21 6:28 UTC (6+ messages)
` [Cocci] [PATCHv2] "
[Cocci] [PATCH 1/2 RESEND] scripts/coccinelle/misc/semicolon.cocci: Use imperative mood
2015-05-21 6:19 UTC (3+ messages)
` [Cocci] [PATCH 2/2 RESEND] scripts/coccinelle/misc/irqf_oneshot.cocci: Fix grammar
[Cocci] [PATCH v3 00/17] framebuffer: simple conversions to arch_phys_wc_add()
2015-05-20 18:58 UTC (5+ messages)
[Cocci] [PATCH v2 1/4] coccinelle: pm_runtime: Insert blank line
2015-05-20 6:02 UTC (3+ messages)
[Cocci] [PATCH 1/2] scripts/coccinelle/misc/semicolon.cocci: Use imperative mood
2015-05-20 5:46 UTC (3+ messages)
[Cocci] Fatal error: exception Failure("not supported")
2015-05-17 15:05 UTC (6+ messages)
` [Cocci] Support for "do { … } while"?
page: next (older) | prev (newer) | latest
- recent:[subjects (threaded)|topics (new)|topics (active)]
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox