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.