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.

. E-mail: [email protected].

(1992-11-13)