The Omega test is a system written by William Pugh pugh@cs.umd.edu and others for performing symbolic manipulations of conjunction s of linear constraint s over integer variables. The Omega test dependence analyser is a system built on top of the Omega test to analyse array data dependences.
Version 3.2.2 includes a fortran to tiny translator, a Tiny interpreter(?) and analysis tools.
ftp://ftp.cs.umd.edu/pub/omega . E-mail: omega@cs.umd.edu .
(1992-11-13)