Re: [boost] [Review:Contract] Boost.Contract Library is Accepted

Subject: Re: [boost] [Review:Contract] Boost.Contract Library is Accepted
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2012-09-17 11:55:44

On Mon, Sep 17, 2012 at 8:31 AM, Thorsten Ottosen
<thorsten.ottosen_at_[hidden]> wrote:
> On 17-09-2012 04:16, Dave Abrahams wrote:
>>
>>
>> Lorenzo Caminiti's Boost.Contract Library is hereby accepted into Boost.
>>
>> Congratulations, Lorenzo!
>>
>
> +1. Nice work! Sorry for not giving a review, but I felt my position would
> not yield an impartial review.

Thanks :) Well, if you have the time to read the docs, I'm always
happy to hear your comments even if not in the form of a review (but
the lib follows your N-papers rather closely). Plus, if we were to
re-submit N1962 for C++1x, it would make sense to cite the lib and
/consider/ a couple of small additions from the lib (e.g.,
static/volatile class invariants, assertions requirements, class
invariant broken handlers specialized on entry/exit/throw).

After all, I wrote the lib but you wrote the C++ Contract Programming
requirements! Thanks!

--Lorenzo