Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!us.feeder.erje.net!newsfeed.xs4all.nl!newsfeed2.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <python-python-list@m.gmane.org>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.003
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'cpython': 0.05; 'responding': 0.07; 'fixed,': 0.09; 'received:80.91': 0.09; 'received:80.91.229': 0.09; 'received:gmane.org': 0.09; 'received:list': 0.09; 'python': 0.11; 'bug': 0.12; 'jan': 0.12; 'received:80.91.229.3': 0.16; 'received:plane.gmane.org': 0.16; 'reedy': 0.16; 'fix': 0.17; 'wrote:': 0.18; 'code.': 0.18; 'trying': 0.19; 'header:User-Agent:1': 0.23; 'developers': 0.25; 'header:X-Complaints-To:1': 0.27; 'header:In-Reply-To:1': 0.27; 'fixed': 0.29; 'am,': 0.29; 'code': 0.31; 'raised': 0.31; 'half': 0.37; 'others.': 0.38; 'to:addr:python-list': 0.38; 'to:addr:python.org': 0.39; 'received:org': 0.40; 'future': 0.60; 'improved': 0.60; 'hope': 0.61; 'free': 0.61; 'verification': 0.83; 'received:fios.verizon.net': 0.84; 'ware': 0.91
X-Injected-Via-Gmane: http://gmane.org/
To: python-list@python.org
From: Terry Reedy <tjreedy@udel.edu>
Subject: Re: Bug in timsort!?
Date: Wed, 25 Feb 2015 16:08:04 -0500
References: <1cf84559-3a63-4799-a879-ae8e513d387e@googlegroups.com> <mailman.19183.1424872728.18130.python-list@python.org> <mcko8k$1bi$1@speranza.aioe.org> <CAKJDb-Pbvk6Zr4nBZqyTz=vvHfX7eJhoaU6LmvQYF_JCTgiUhg@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Gmane-NNTP-Posting-Host: pool-98-114-97-173.phlapa.fios.verizon.net
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.5.0
In-Reply-To: <CAKJDb-Pbvk6Zr4nBZqyTz=vvHfX7eJhoaU6LmvQYF_JCTgiUhg@mail.gmail.com>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.19217.1424898499.18130.python-list@python.org>
Lines: 17
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1424898499 news.xs4all.nl 2862 [2001:888:2000:d::a6]:39182
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:86441

On 2/25/2015 10:23 AM, Zachary Ware wrote:

> Just to be clear, this has already been fixed, and the fix will be
> released in Python 2.7.10, 3.4.4, and 3.5.0.

I think the important effect of the fix is to encourage automatic code 
verification both by the group that found this bug and by and others. 
Future verifier developers can check their code by trying to verify the 
fixed code.

The C half of the CPython code base has been improved by responding to 
issues raised by the Coverity checker.  I hope we can get free code 
reviews both of C and Python code from others.

-- 
Terry Jan Reedy