September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src GenSys.cc
by Elisa Ricci 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/19 16:24:53 Modified files: src : GenSys.cc Log message: Little change in comment.

1 0

Polyhedra/src conversion.cc
by Roberto Bagnara 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/19 16:03:55 Modified files: src : conversion.cc Log message: Now scalar_prod is statically allocated.

1 0

Polyhedra/src conversion.cc
by Roberto Bagnara 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/19 15:18:52 Modified files: src : conversion.cc Log message: Some more cleaning.

1 0

Polyhedra/src Polyhedron.cc
by Elisa Ricci 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/19 15:08:26 Modified files: src : Polyhedron.cc Log message: LASA and LASA_PERDAR are dead.

1 0

Polyhedra/src conversion.cc
by Roberto Bagnara 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/19 14:12:32 Modified files: src : conversion.cc Log message: Still fighting temporaries.

1 0

Polyhedra/src conversion.cc
by Roberto Bagnara 19 Sep '01

19 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/19 12:18:15 Modified files: src : conversion.cc Log message: Avoid the creation of some temporaries.

1 0

Polyhedra/src Constraint.defs.hh Generator.defs.hh
by Elisa Ricci 19 Sep '01

19 Sep '01

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.

1 0

Polyhedra/src Makefile.am Makefile.in Matrix.c ...
by Roberto Bagnara 19 Sep '01

19 Sep '01

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.

1 0

Polyhedra/src Row.defs.hh
by Elisa Ricci 18 Sep '01

18 Sep '01

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.

1 0

Polyhedra/src Polyhedron.cc
by Elisa Ricci 18 Sep '01

18 Sep '01

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.

1 0