From: Henrik Horneber <ryco@...>
Date: 2004-12-04T02:29:11+09:00
Subject: Re: [ANN] DBC for C 1.3.0 released

Friedrich Dominicus wrote:

> Charles Mills <cmills@freeshell.org> writes:
> 
> 
>>This is a very high quality release thanks to Sebastian Hunt and Marc 
>>Verwerft. DBC for C now has exceptional GCC support (including GCC 
>>extensions) and is significantly quicker and more polished than the 
>>initial releases. (Also has Windows support as of 1.2.3.)
> 
> 
> good idea but what's the difference to GEF?
> http://home.rochester.rr.com/bigbyofrocny/GEF/GEF.html
> 

As far as I understand it, DBC for C uses comments in the header file to 
genrarte contract checking code, whereas GEF hides the contracts 
specification in the implementation.

regards,
Henrik