linux - Linux Kernel (branches are rebased on master from time to time)

Age	Commit message (Expand)	Author	Files	Lines
2013-07-03	Coccinelle: Update the options used to the new option scheme	Nicolas Palix	4	-4/+4
2012-01-15	scripts/coccinelle: improve the coverage of some semantic patches	Julia Lawall	3	-31/+63
2010-10-28	Coccinelle: Find nested lock+irqsave functions that use the same flags variab...	Julia Lawall	1	-0/+80
2010-08-31	Coccinelle: Add locks/mini_lock.cocci	Nicolas Palix	1	-0/+95
2010-08-31	Coccinelle: Add locks/double_lock.cocci	Nicolas Palix	1	-0/+92
2010-08-31	Coccinelle: Add locks/call_kern.cocci	Nicolas Palix	1	-0/+74