To gcc steering committee

[Joe Buck]

On Fri, Nov 26, 2004 at 04:51:02PM +0800, xing xing wrote:
> Hello gcc steering committe:
> 
>   Is gcc steering committe intrested in add a verification component to 
> gcc, as software verification technology plays a fast-developing area to 
> guarantee software reliability.

Can you be more specific about what you mean?  Are you thinking of
something along the lines of Dawson Engler's work, or the Microsoft
SLAM project?

http://metacomp.stanford.edu/
http://research.microsoft.com/slam/

In any case, technical evaluation of any proposed new features happens
on this list.  The SC has to decide whether to accept features that take
GCC in a new direction, but that would come later.