messages from 2015-09-14 12:29:40 to 2015-12-04 13:18:44 UTC [more...]
[Cocci] how to find missing initializer
2015-12-04 13:18 UTC (9+ messages)
[Cocci] Determination of syntax scopes with SmPL
2015-12-03 9:20 UTC
[Cocci] Reuse of OCaml libraries for SmPL scripts
2015-11-29 11:18 UTC
[Cocci] [PATCH 2/9] Use gnutls_priority_set_direct() to deprecate gnutls_*_set()
2015-11-25 20:44 UTC (4+ messages)
` [Cocci] [Xen-devel] "
[Cocci] [PATCH 1/1] Add SPI to platform_no_drv_owner.cocci warnings
2015-11-21 6:48 UTC (3+ messages)
[Cocci] [PATCH 2/9] Use gnutls_priority_set_direct() to deprecate gnutls_*_set()
2015-11-19 23:22 UTC
[Cocci] [PATCH v2] coccinelle: add style check for assignment in if
2015-11-17 16:34 UTC
[Cocci] version 1.0.3 released
2015-10-30 16:52 UTC (24+ messages)
` [Cocci] version 1.0.4 released
` [Cocci] Release 1.0.3: Clarification around SmPL conjunctions
[Cocci] [PATCH] coccinelle: misc: remove "complex return code" warnings
2015-10-28 10:04 UTC (9+ messages)
[Cocci] [PATCH] Add coccinelle script that makes sure that tables are NULL terminated
2015-10-26 21:46 UTC (4+ messages)
` [Cocci] [PATCH v6] coccinelle: Improve checking for missing NULL terminators
[Cocci] [PATCH 2/2 v2] coccinelle: ifnullfree: handle various destroy functions
2015-10-26 21:41 UTC (2+ messages)
[Cocci] [PATCH] cocinelle: iterators: semantic patch to delete unneeded of_node_put
2015-10-26 21:39 UTC (2+ messages)
[Cocci] [PATCH 1/2] coccinelle: ifnullfree: improve and extend ifnullfree
2015-10-26 21:36 UTC (4+ messages)
[Cocci] [PATCH 1/2 v2] coccinelle: ifnullfree: various cleanups
2015-10-26 21:28 UTC
[Cocci] [PATCH] scripts/coccinelle: fix typos
2015-10-26 21:26 UTC (2+ messages)
[Cocci] [PATCH] Coccinelle: remove incorrect -include option transformation
2015-10-26 20:34 UTC (8+ messages)
` [Cocci] [PATCH v2] Coccinelle: fix "
[Cocci] [PATCH] coccinelle: tests: improve odd_ptr_err.cocci
2015-10-26 19:55 UTC (2+ messages)
[Cocci] [PATCH v2] coccinelle: misc: move constants to the right
2015-10-26 19:44 UTC (2+ messages)
[Cocci] [PATCH] coccinelle: deref_null: Fix a spelling typo
2015-10-26 15:25 UTC (2+ messages)
[Cocci] Request 339055 commented by jengelh (submit devel:tools/coccinelle)
2015-10-22 13:18 UTC (10+ messages)
[Cocci] Wiki for automatic reports / fixes
2015-10-21 16:13 UTC
[Cocci] [andrew@trailofbits.com: Static analysis to assist policy creation?]
2015-10-21 13:54 UTC (2+ messages)
[Cocci] [PATCH 2/2] coccinelle: ifnullfree: improve and extend ifnullfree
2015-10-17 17:23 UTC
[Cocci] extremely slow processing of trivial header file
2015-10-16 21:18 UTC (2+ messages)
[Cocci] Compiling latest coccinelle with opensuse
2015-10-14 21:58 UTC (31+ messages)
` [Cocci] Common.union_setError (was: Compiling latest coccinelle with opensuse)
` [Cocci] Compiling latest Coccinelle with openSUSE
` [Cocci] Compiling Coccinelle with specific OCaml versions on openSUSE
[Cocci] elision of unneeded parens
2015-10-13 5:33 UTC (7+ messages)
[Cocci] adding blank lines
2015-10-10 19:48 UTC
[Cocci] change #include <file>
2015-10-06 5:25 UTC
[Cocci] [PATCH] coccinelle: simple_return: fix typos in messages
2015-10-03 16:26 UTC (2+ messages)
[Cocci] [PATCH] coccinelle: assign signed result to unsigned variable
2015-10-03 7:09 UTC (30+ messages)
` [Cocci] [PATCH v2] "
[Cocci] Finding all uses of a flag define
2015-09-29 17:54 UTC (4+ messages)
[Cocci] [PATCH] coccinelle: tests: unsigned value cannot be lesser than zero
2015-09-23 15:17 UTC (24+ messages)
` [Cocci] [PATCH v2] "
` [Cocci] [PATCH v3] "
[Cocci] Stats on automatically backporting Linux with Coccinelle
2015-09-19 7:47 UTC
[Cocci] Work in progress: How To
2015-09-17 8:10 UTC (2+ messages)
[Cocci] Find expressions of given type
2015-09-14 19:46 UTC (3+ 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).