Omega test - The Omega test is a system written by William Pugh
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: . | |