10 Dec 1996 12:05:06 -0500

Related articles |
---|

Omega Project Source Release, version 1.1 wak@cs.umd.edu (1996-12-10) |

From: | wak@cs.umd.edu (Wayne Kelly) |

Newsgroups: | comp.compilers,comp.parallel,comp.sys.super |

Date: | 10 Dec 1996 12:05:06 -0500 |

Organization: | U of Maryland, Dept. of Computer Science, Coll. Pk., MD 20742 |

Distribution: | inet |

Keywords: | parallel, tools, available, arithmetic |

Version 1.1 of the Omega Calculator, Omega Library, Petit, and the

Uniform Library are now available from:

ftp://ftp.cs.umd.edu/pub/omega/omega_system.

This version includes:

* The Omega library, a set of routines for manipulating linear constraints

over integer variables, Presburger formulas, and Integer tuple

relations and sets.

* The code generation library, a set of routines for generating code to

scan the points in the union of a number of convex sets.

* The Omega calculator, a text-based interface to the Omega library

* Petit, a educational/research tool for analyzing array data dependences

* The Uniform library, a source to source parallelizing transformation

system, described in Wayne Kelly's Ph.D. dissertation.

Some new or recent features:

* The Uniform library

* An exact convex hull computation

* An improved system for handling inexact relations, including taking

upper and lower bounds, checking for subsets, and checking tautologies

* Better handling of existentially quantified variables: we can now

negate and generate code for sets like:

{[i] : 1 <= i <= n && exists (alpha : i <= 10 alpha <= i+k)};

* An Example operator, that gives a sample solution to set or relation.

Users with code that uses previous versions of the Omega library may

need to make some changes to their code in order to comply with the new

functions for checking subsets, satisfiability, and tautologies.

As usual, the Omega Project is located at

http://www.cs.umd.edu/projects/omega

mailto:omega@cs.umd.edu

ftp://ftp.cs.umd.edu/pub/omega

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Wayne Kelly (wak@cs.umd.edu or kelly@fit.qut.edu.au)

on behalf of The Omega Team

Department of Computer Science

University of Maryland, College Park.

--

Post a followup to this message

Return to the
comp.compilers page.

Search the
comp.compilers archives again.