[Cocci] [PATCH 0/4] backports: SmPL patch equivalence support

Luis R. Rodriguez mcgrof at suse.com
Wed Jun 10 00:18:17 CEST 2015

On Fri, Jun 5, 2015 at 5:09 PM, Luis R. Rodriguez
<mcgrof at do-not-panic.com> wrote:
> Luis R. Rodriguez (4):
>   patches: remove bt_sock_stream_recvmsg() and bt_sock_recvmsg() from
>     ifdefs
>   patches: change 0054-struct-proto_ops-sig backport strategy
>   gentree.py: add SmPL patch equivalence proof support
>   patches: provide 0054-struct-proto_ops-sig SmPL patch replacement

FYI - dropped the gentree.py patch for SmPL proof support and pushed the rest.


More information about the Cocci mailing list