[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <CAESemU8ogz71zHm_bDnpByg_=E9M9Da_xuZy6uhD5Q3YTNWNNg@mail.gmail.com>
Date: Sun, 1 May 2016 17:35:56 -0700
From: Joe Duarte <songofapollo@...il.com>
To: musl@...ts.openwall.com
Subject: Re: Formal verification of MUSL
On Mon, Apr 11, 2016 at 8:55 AM, Eric Engeström <eric.engestrom@...il.com>
wrote:
> On 11 Apr 2016 5:36 a.m., "Khem Raj" <raj.khem@...il.com> wrote:
> >
> > On Sun, Apr 10, 2016 at 9:23 PM, Rich Felker <dalias@...c.org> wrote:
> > >> p.s. I don't see MUSL on the free Coverity deal (
> > >> https://scan.coverity.com/projects). I think the LibreOffice devs
> got some
> > >> good insights from it.
> > >
> > > What's needed to get it there?
> >
> > I have registered
> >
> > https://scan.coverity.com/projects/libc-musl
>
> "You are not authorized to access this page."
> I have no experience with Coverity, but I guess you missed a step to make
> it public. (The search also comes up empty.)
>
What's the status on Coverity? I'm still getting the "You are not
authorized to access this page." message that Eric reported. And when I
search Coverity Scan for musl, nothing comes up.
Cheers,
Joe
Content of type "text/html" skipped
Powered by blists - more mailing lists
Confused about mailing lists and their use?
Read about mailing lists on Wikipedia
and check out these
guidelines on proper formatting of your messages.
