Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1336867

Re: [FAIL 0/5] Static lock analysis

From Christopher Li <sparse@chrisli.org>
Newsgroups linux.kernel
Subject Re: [FAIL 0/5] Static lock analysis
Date 2016-02-18 00:10 +0100
Message-ID <r3jom-4YQ-25@gated-at.bofh.it> (permalink)
References <r373P-4xY-7@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Wed, Feb 17, 2016 at 1:51 AM, Daniel Wagner
<daniel.wagner@bmw-carit.de> wrote:
>
> Maybe the first 3 patches might be okay to get merged.

Yes, the first 3 looks simple and obvious correct.

Chris

Back to linux.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread


Thread

[FAIL 0/5] Static lock analysis Daniel Wagner <daniel.wagner@bmw-carit.de> - 2016-02-17 11:00 +0100
  Re: [FAIL 0/5] Static lock analysis Christopher Li <sparse@chrisli.org> - 2016-02-18 00:10 +0100

csiph-web