Re: [boost] [contract] Released Contract Programming Library on SourceForge

Subject: Re: [boost] [contract] Released Contract Programming Library on SourceForge
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2010-02-28 08:38:57

Hello all,

On Fri, Feb 26, 2010 at 9:26 AM, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:
> I have released on SourceForge a library that implements Contract
> Programming (a.k.a. Design by Contract(TM) ) for C++. I am considering
> to submit this library to Boost (as Boost.Contract).
>
> Contract++ Library
> * Download http://sourceforge.net/projects/dbcpp/
> * Documentation http://dbcpp.sourceforge.net/
> * Examples http://dbcpp.sourceforge.net/contract__/examples.html
>
> Comments?

I have also uploaded the Contract++ library files on the Boost Vault
under "Correctness - Testing / Contract".

Plus this is a list of the library known open issues
http://dbcpp.sourceforge.net/contract__/todo.html

Regards,
Lorenzo