Re: [Python-Dev] understanding ubuntu's patches to cpython

I feel that you've misunderstood my request entirely. I'm not trying to report an issue, just requesting help understanding how the resulting package relates to version-controlled source. It's possible that I have the wrong source entirely. Your comments seem to indicate that you believe I've clob

Re: [Python-Dev] Static checker for common Python programming errors

Please also check python-static-type-check...@googlegroups.com. On Nov 18, 2014 3:06 AM, "Stefan Bucur" wrote: > Thanks for the pointer! There seem indeed to be more formal analysis tools > for JavaScript than for Python (e.g., the most recent one for JS I know of > is the Jalangi framework [1]).

Re: [Python-Dev] understanding ubuntu's patches to cpython

On 11/16/2014 11:23 PM, Buck Evan wrote: This particular patch caused virtualenv issue #118 and a subsequent workaround: http://bazaar.launchpad.net/~ubuntu-branches/ubuntu/trusty/python2.7/trusty/view/head:/debian/patches/distutils-install-layout.diff#L281

Re: [Python-Dev] Static checker for common Python programming errors

Thanks for the pointer! There seem indeed to be more formal analysis tools for JavaScript than for Python (e.g., the most recent one for JS I know of is the Jalangi framework [1]). I assume the main reason is that JavaScript is standardized and somewhat simpler, so it's easier to construct formal s