Subject: Re: [boost] [contract] Without the macros
From: Klaim - JoÃ«l Lamotte (mjklaim_at_[hidden])
Date: 2016-06-15 17:21:02
On 15 June 2016 at 23:15, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:
> On Wed, Jun 15, 2016 at 8:47 AM, Matt Calabrese <rivorus_at_[hidden]> wrote:
> > On Jun 15, 2016 08:31, "Lorenzo Caminiti" <lorcaminiti_at_[hidden]> wrote:
> > Have you followed any of the recent papers regarding language-level
> > contracts for C++?
> No... but I should definitely take a look! Do you have a link to the
> proposal to get me started?
Here is the last version of the proposal:
It seems like it's close to completion.
To be short, it's using attributes and unspecifiedly set constants to drive
the compiler into inserting or not
the checking code in the produced program.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk