This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: To gcc steering committee
- From: Joe Buck <Joe dot Buck at synopsys dot COM>
- To: xing xing <xing_82 at hotmail dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: Mon, 29 Nov 2004 09:38:02 -0800
- Subject: Re: To gcc steering committee
- References: <BAY22-F17D75A35EDAAE2F244FEB882BA0@phx.gbl>
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.