$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] Formal Review: Boost.Polygon starts today August 24, 2009
From: John Phillips (phillips_at_[hidden])
Date: 2009-09-01 23:11:56
Thomas Klimpel wrote:
> As you probably know, the discussions about the "impossible"
> postconditions (or which postconditions would be reasonable) were not
> really settled:
> http://listarchives.boost.org/Archives/boost/2009/03/149515.php
> http://listarchives.boost.org/Archives/boost/2009/03/149693.php
>
> Regards, Thomas
Yes. I have been following these discussions for awhile, so I am aware
of the issues with the post conditions.
John