|Version 0.95 of Petit available firstname.lastname@example.org (1995-04-26)|
|From:||email@example.com (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 ftp://ftp.cs.umd.edu/pub/omega.
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 firstname.lastname@example.org) as we are continuing to update and
improve the software.
Petit is available for FTP at ftp://ftp.cs.umd.edu/pub/omega/petit.
Petit uses the Omega Library to perform its analyses; the library is
available at ftp://ftp.cs.umd.edu/pub/omega/omega_library.
More information on the Omega Project as well as papers written by the
group are available on the WWW at http://www.cs.umd.edu/projects/omega,
or by sending mail to email@example.com.
Return to the
Search the comp.compilers archives again.