CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2002-04-15 10:00:16

Modified files: src : ConSys.cc

Log message: Corrected a memory allocation bug in ConSys::insert(const Constraint& c). Now test NNCminimize6 shows that the strong minimization of constraints for NNC polyhedra does not fully minimize constraint systems, yet.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl...