|Compiler Optimization and Verification email@example.com (Jared Dykstra) (2000-04-20)|
|Re: Compiler Optimization and Verification firstname.lastname@example.org (2000-04-25)|
|From:||email@example.com (Roman Shaposhnick)|
|Date:||25 Apr 2000 02:23:03 -0400|
On 20 Apr 2000 01:36:23 -0400, Jared Dykstra wrote:
> What Optimization and verification suites are currently available? I
Just few names: http://www.modena.com, http://www.plumhall.com, and
as you've already noticed http://www.nullstone.com
> Also, are the egcs/gcc benchmark & verification suites freely
>available or GPLed? If so where can I get them.
AFAIK what is freely available is very lousy. Or I have no chance to see
the right thing.
Return to the
Search the comp.compilers archives again.