Re: Compiler Optimization and Verification (Roman Shaposhnick)
25 Apr 2000 02:23:03 -0400

          From comp.compilers

Related articles
Compiler Optimization and Verification (Jared Dykstra) (2000-04-20)
Re: Compiler Optimization and Verification (2000-04-25)
| List of all articles for this month |

From: (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:,, and
      as you've already noticed

> 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.


Post a followup to this message

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