messages from 2015-05-25 06:21:29 to 2015-07-19 12:54:41 UTC [more...]
[Cocci] Finding unstored return values with SmPL
2015-07-19 12:54 UTC (10+ messages)
[Cocci] [PATCH v2 0/4] pycocci: index opts, SmPL patch proof support
2015-07-18 17:01 UTC (6+ messages)
` [Cocci] [PATCH v2 1/4] pycocci: add requirements class
` [Cocci] [PATCH v2 2/4] pycocci: add git class
` [Cocci] [PATCH v2 3/4] pycocci: figure out if to enable --jobs, --use-gitgrep or --use-glimpse
` [Cocci] [PATCH v2 4/4] pycocci: add Coccinelle SmPL patch proof support
[Cocci] Checking signal handler implementations with SmPL
2015-07-17 11:12 UTC (6+ messages)
` [Cocci] Deletion of blank lines?
[Cocci] GNU diff and git diff - difference on myers algorithm?
2015-07-17 4:23 UTC (3+ messages)
[Cocci] [PATCH 0/2] coccinelle: extend pycocci checks
2015-07-16 0:21 UTC (3+ messages)
` [Cocci] [PATCH 1/2] pycocci: add requirements class
` [Cocci] [PATCH 2/2] pycocci: figure out if to enable --jobs, --use-gitgrep or --use-glimpse
[Cocci] [PATCH 0/4] mm: add dma_pool_zalloc() & pci_pool_zalloc()
2015-07-15 23:13 UTC (7+ messages)
` [Cocci] [PATCH 1/4] mm: Add support for __GFP_ZERO flag to dma_pool_alloc()
` [Cocci] [PATCH 2/4] mm: Add dma_pool_zalloc() call to DMA API
` [Cocci] [PATCH 3/4] pci: mm: Add pci_pool_zalloc() call
` [Cocci] [PATCH 4/4] coccinelle: mm: scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci
[Cocci] logical not
2015-07-15 17:42 UTC (3+ messages)
[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 (10+ messages)
` [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)
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;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).