[boost] Re: "invariants" class; Version 1.00

From: Dan W. (danw_at_[hidden])
Date: 2004-01-08 13:55:37

Tanton Gibbs wrote:
> Yep, who watches the watchers.  You definitely have to weigh the gain vs the
> loss in provable correctness.

Yes, and I also want to keep my invariants "library" ( :) ) as tiny and 
as simple as possible, so that hopefully people will actually use it; 
rather than some awe-inspiring, full-featured thing that no one bothers 
to read through the documentation. But I appreciate your sharing your 
research; I've got your paper saved to my hard-drive and will continue 
to think about temporal invariants. I think that "already" might make a 
good addition. Thanks again.

dan