Re: Compiler Optimization and Verification

vugluskr@unicorn.math.spbu.ru (Roman Shaposhnick)
25 Apr 2000 02:23:03 -0400

          From comp.compilers
Related articles
Compiler Optimization and Verification jared@zucotto.com (Jared Dykstra) (2000-04-20)
Re: Compiler Optimization and Verification vugluskr@unicorn.math.spbu.ru (2000-04-25)
| List of all articles for this month |
From: vugluskr@unicorn.math.spbu.ru (Roman Shaposhnick)
Newsgroups: comp.compilers
Date: 25 Apr 2000 02:23:03 -0400
Organization: St.Petersburg University
References: 00-04-144
Keywords: tools

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.


Roman.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.