CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/08 20:43:46 Modified files: src : ConSys.defs.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Makefile.am Makefile.in PPL.cc Polyhedron.cc Polyhedron.defs.hh test : Makefile.am Makefile.in user.cc Log message: Started being serious about the new interface. Several bugs fixed.