Message217725
> 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. |
|
Date |
User |
Action |
Args |
2014-05-01 21:06:55 | skrah | set | recipients:
+ skrah, pitrou, vstinner, christian.heimes, neologix |
2014-05-01 21:06:55 | skrah | set | messageid: <1398978415.3.0.219355262297.issue21037@psf.upfronthosting.co.za> |
2014-05-01 21:06:55 | skrah | link | issue21037 messages |
2014-05-01 21:06:54 | skrah | create | |
|