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