Announcement: Omega Library and Calculator version 1.2 released

davew@cs.umd.edu (David G. Wonnacott)
27 Aug 2000 22:15:39 -0400

          From comp.compilers
Related articles
Announcement: Omega Library and Calculator version 1.2 released davew@cs.umd.edu (2000-08-27)
| List of all articles for this month |
From: davew@cs.umd.edu (David G. Wonnacott)
Newsgroups: comp.compilers,comp.constraints
Date: 27 Aug 2000 22:15:39 -0400
Organization: U of Maryland, College Park, MD 20742
Keywords: tools

Version 1.2 of the Omega Library, Omega Calculator, and Petit are now
available from the Omega Project web site,


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


The library and calculator allow the manipulation of affine
constraints on integer variables; Petit is used to demonstrate our
techniques for performing array dependence and dataflow analysis via
constraint manipulation.


The most eagerly anticipated feature of this release seems to be that
it works as-is with more modern versions of G++. For information
about other improvements, see the web site.
--
Dave Wonnacott davew@cs.haverford.edu davew@cs.umd.edu
http://www.haverford.edu/cmsc/davew/index.html
The Omega Project: Program analysis via constraint manipulation
    "Although the moon is smaller than the earth, it is also farther away"

Post a followup to this message

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