Version 0.95 of Petit available (Evan Rosser)
Wed, 26 Apr 1995 04:43:11 GMT

          From comp.compilers

Related articles
Version 0.95 of Petit available (1995-04-26)
| List of all articles for this month |

Newsgroups: comp.compilers
From: (Evan Rosser)
Keywords: analysis, tools, available, FTP
Organization: U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742
Date: Wed, 26 Apr 1995 04:43:11 GMT

Petit version 0.95 and the Omega Library version 0.95 are available
for FTP from

Petit is a research tool for dependence analysis and program
transformations developed from Michael Wolfe's Tiny Tool. Petit was
developed at the University of Maryland by the Omega Project.
Petit operates on programs in a simple Fortran-like language.

Features of Petit include:
  * Memory- and Value-based dependence analysis, based on the Omega test
  * Nonlinear dependence analysis using uninterpreted function symbols
  * An X Window System / Motif interface that allow browsing
      programs and dependence relations
  * An interface for building new analyses that simplifies building
      sets of constraints describing programs
  * An interface to allow easier integration of our dependence analysis
      techniques into other compilers
  * A program transformation system for finding computation
      decompositions and generating code for parallel machines
      (not available in this release)

The Omega Library is a system for building, manipulating, and querying
sets of integer tuples and relations between integer tuples, with many
applications to interesting compiler problems. The current release is
a minor release that contains a directory reorganization, some bug
fixes, and some changes to support the current release of Petit.

This code is freely available for research or commercial use. Petit
can be used as a educational or research tool. Several research
groups have incorporated the Omega Library and/or the Omega Test
dependence analyzer into their compilers or programming environments.
Anyone interested in doing this is strongly urged to stay in contact
with us (at as we are continuing to update and
improve the software.

Petit is available for FTP at
Petit uses the Omega Library to perform its analyses; the library is
available at

More information on the Omega Project as well as papers written by the
group are available on the WWW at,
or by sending mail to


Post a followup to this message

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