Re: [boost] sorting library proposal (Was: Review Wizard Status Report for June 2009)o

Subject: Re: [boost] sorting library proposal (Was: Review Wizard Status Report for June 2009)o
From: Jonathan Franklin (franklin.jonathan_at_[hidden])
Date: 2009-06-03 13:13:45

On Wed, Jun 3, 2009 at 9:54 AM, Steven Ross <spreadsort_at_[hidden]> wrote:
> On Wed, Jun 3, 2009 at 7:56 AM, Jonathan Franklin <
> franklin.jonathan_at_[hidden]> wrote:
>
>> On Wed, Jun 3, 2009 at 8:37 AM, Steven Ross <spreadsort_at_[hidden]> wrote:
>> > Is insertion_sort to std::sort such a big
>> > complicated change that it can't be accepted?
>>
>> Do you have a proof for it's correctness?
>
> Do I have a proof for std::sort's correctness?  Are you joking?

You misunderstood, so let me rephrase: Do you have a formal proof that
your modification to the algorithm is correct?

And no, I'm not joking.  It's a fair question.  It's not a big deal if
you don't have one, but I would encourage you to write one.

Jon