README
Last modified 15:29:00, 21 Nov 1996 - 1.5K - text Omega Project Source Release V1.1 notes.
Code Generation Library
Last modified 17:51:00, 18 Nov 1996 - 36.0K - gzipped tar Routines for generating code to scan the points in the
union of a number of convex sets. (requires the Omega
library)
The Omega Calculator and Library V1.1
The Omega calculator is a text-based interface to the
Omega library, a set of routines developed for manipulating:
Presburger formulas, Integer tuple sets and Integer tuple relations.
Omega Calculator V1.1
Last modified 17:51:00, 18 Nov 1996 - 184.564453125K - gzipped tar Text based interface to the above libraries.
Omega Library Sources V1.1
Last modified 17:51:00, 18 Nov 1996 - 339.2783203125K - gzipped tar A set of C++ classes and routines developed for
manipulating: Presburger formulas; Integer tuple sets and
Integer tuple relations.
Petit
Last modified 16:25:00, 5 Dec 1996 - 564.626953125K - gzipped tar A research tool for dependence analysis and program
transformations. Requires the Omega Library and code
generation library. Includes source, documentation,
demonstration files, fortran to petit converter and
regression tests.