Omega test
The Omega test is a system written by William Pugh <
[email protected]> and others for performing symbolic manipulations of
conjunctions of linear constraints 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: <
[email protected]>.
