On Mon, Sep 17, 2012 at 8:31 AM, Thorsten Ottosen <thorsten.ottosen@dezide.com> 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