Argh, we need to propagate if at least one infinity is added.
[libfirm] / kaps.h
2009-12-22 Sebastian BuchwaldAdded file headers.
2008-10-05 Sebastian Buchwald- completed integration of new PBQP solver (works fine...
2008-10-03 Sebastian Buchwald- integrated new PBQP solver into existing PBQP transfo...
2008-10-03 Sebastian BuchwaldContinued implementation of PBQP solver: Fixed errors...
2008-10-02 Sebastian BuchwaldStarted implementing a new PBQP solver, which should...