Bug in timsort!?
Terry Reedy
tjreedy at udel.edu
Wed Feb 25 16:08:04 EST 2015
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
More information about the Python-list
mailing list