Argh, we need to propagate if at least one infinity is added.
[libfirm] / pbqp_node_t.h
2009-12-22 Sebastian BuchwaldAdded file headers.
2008-10-04 Sebastian Buchwald- fixed some bugs concerning vector addition
2008-10-04 Sebastian BuchwaldImplemented RI-Reduction (without back propagation).
2008-10-02 Sebastian BuchwaldStarted implementing a new PBQP solver, which should...