Author skrah
Recipients christian.heimes, neologix, pitrou, skrah, vstinner
Date 2014-05-01.21:06:54
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1398978415.3.0.219355262297.issue21037@psf.upfronthosting.co.za>
In-reply-to
Content
> Hmm... perhaps Stefan would like to set something up?

Being a correctness tool hipster, of course I already have the latest toy. :)  The patch works on Debian 64-bit + clang.

I can set up a VM.  We may have to react quickly to some of the issues.
Then again, anyone can run the tool, so there's no real secrecy anyway.
History
Date User Action Args
2014-05-01 21:06:55skrahsetrecipients: + skrah, pitrou, vstinner, christian.heimes, neologix
2014-05-01 21:06:55skrahsetmessageid: <1398978415.3.0.219355262297.issue21037@psf.upfronthosting.co.za>
2014-05-01 21:06:55skrahlinkissue21037 messages
2014-05-01 21:06:54skrahcreate