CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/09/19 10:27:41
Modified files:
src : Constraint.defs.hh Generator.defs.hh
Log message:
Other two FIXME are dead: the class Generator and Constraint are
documented.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto(a)sandbox.cs.unipr.it 01/09/19 09:03:59
Modified files:
src : Makefile.am Makefile.in Matrix.cc Row.cc
Log message:
Be less inclined to conclude that PPL.hh must be rebuilt.
Still removing the creation of temporaries.
Other minor improvements.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/09/18 16:36:46
Modified files:
src : Row.defs.hh
Log message:
Another FIXME is dead: I try to introduce the class Row properly.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/09/18 16:03:32
Modified files:
src : Polyhedron.cc
Log message:
The widening's FIXME are dead.
We update the system of generators of the polyhedron y only if
they are not minimized.
