Dave Korn wrote: > > Well, I'll pitch in, because I also wasn't sure at first whether it was > for real and what it was about, but I think I know now. Did you google > "bill pugh omega solver" and do some background reading? It didn't take me > too long to get the basic gist of what they're proposing (or at any rate, to > _think_ I had got it!). > > IIUIC, they want to use a linear-algorithm solver to verify the
Omega is not linear: it has a worst case exponential time. It however does solves systems of linear (in)equalities, or just linear constraint systems. > data-dependence analyses performed by the Bannerjee analyzer by recomputing > the results from an alternative formulation so as to have a 'second opinion' > to compare the output of gcc's current analyses against.[*] > Yes.
