<div dir="ltr">OK, that works, thanks!</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 22, 2014 at 7:19 PM, Austin Seipp <span dir="ltr"><<a href="mailto:austin@well-typed.com" target="_blank">austin@well-typed.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Gregory,<br>
<br>
Please try again now.<br>
<div class="HOEnZb"><div class="h5"><br>
On Tue, Apr 22, 2014 at 12:17 PM, Gregory Collins<br>
<<a href="mailto:greg@gregorycollins.net">greg@gregorycollins.net</a>> wrote:<br>
> I signed up (and you or someone else approved) but I still can't see the<br>
> results of the scan :(<br>
><br>
><br>
> On Tue, Apr 22, 2014 at 7:02 PM, Austin Seipp <<a href="mailto:austin@well-typed.com">austin@well-typed.com</a>> wrote:<br>
>><br>
>> Hello all,<br>
>><br>
>> As of this morning, GHC has been accepted into the Coverity Scan<br>
>> project! The results are in and a few of us are combing over them now.<br>
>> Some of you I'm sure would like to play around and see what it says.<br>
>><br>
>> Please feel free to ask me for access. In general, Coverity is<br>
>> restrictive of access because of the security implications, but I<br>
>> think this is much less of a problem for us in general. That said, I<br>
>> won't give literally everyone in the world access, but there's no harm<br>
>> in having some eyes.<br>
>><br>
>> The project is available here, and you can request access by giving<br>
>> your email address: <a href="https://scan.coverity.com/projects/1919" target="_blank">https://scan.coverity.com/projects/1919</a><br>
>><br>
>> Currently me and Herbert are the owners, and so we can submit builds.<br>
>><br>
>> I plan on inviting at least Simon M and Edward Yang as well. You two<br>
>> can also just apply via the UI and I will add you as well.<br>
>><br>
>> Note that I think a few of these issues are quite real, but I do think<br>
>> we'll have to mitigate some by writing a Coverity model and tuning<br>
>> things to reduce the false impact rate. Luckily this shouldn't be too<br>
>> hard.<br>
>><br>
>> --<br>
>> Regards,<br>
>><br>
>> Austin Seipp, Haskell Consultant<br>
>> Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
>> _______________________________________________<br>
>> ghc-devs mailing list<br>
>> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
>> <a href="http://www.haskell.org/mailman/listinfo/ghc-devs" target="_blank">http://www.haskell.org/mailman/listinfo/ghc-devs</a><br>
><br>
><br>
><br>
><br>
> --<br>
> Gregory Collins <<a href="mailto:greg@gregorycollins.net">greg@gregorycollins.net</a>><br>
<br>
<br>
<br>
--<br>
Regards,<br>
<br>
Austin Seipp, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com/" target="_blank">http://www.well-typed.com/</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>Gregory Collins <<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>>
</div>