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

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at 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.