cocci.systeme.lip6.fr archive mirror
 help / color / mirror / Atom feed
 messages from 2015-09-08 18:07:59 to 2015-10-28 07:33:21 UTC [more...]

[Cocci] version 1.0.3 released
 2015-10-28  7:33 UTC  (10+ 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: misc: remove "complex return code" warnings
 2015-10-04 10:52 UTC  (8+ messages)

[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  (4+ messages)
` [Cocci] Checking lock usage

[Cocci] Spatch fail on v1.0.2
 2015-09-11 10:56 UTC  (7+ messages)

[Cocci] Comments removed on (adjacent) lines not touched ... ?
 2015-09-10 16:24 UTC  (11+ messages)

[Cocci] coccinelle problems with kernel code
 2015-09-09 17:50 UTC  (9+ messages)

[Cocci] White space formatting
 2015-09-09 15:18 UTC  (6+ messages)


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