[PPL-devel] Polyhedra/src Row.cc globals.cc globals.hh Int ...

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/18 15:44:22

Modified files: src : Row.cc globals.cc globals.hh src/Integer : Integer.defs.hh Integer.inlines.hh

Log message: Avoid the creation of temporaries in Row::linear_combine(). Synchronize with the China tree.