Omega test

Omega test

The Omega test is a system written by William Pugh and others for performing symbolicmanipulations of conjunctions of linear constraints overinteger variables. The Omega test dependence analyser is asystem built on top of the Omega test to analyse array datadependences.

Version 3.2.2 includes a fortran to tiny translator, a Tinyinterpreter(?) and analysis tools.

ftp://ftp.cs.umd.edu/pub/omega. E-mail: .