June 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src GenSys.inlines.hh
by Elisa Ricci 19 Jun '01

19 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/06/19 09:20:46 Modified files: src : GenSys.inlines.hh Log message: In function num_lines() and num_rays the case of sorted matrix is considered.

1 0

thanks
by P M Hill 15 Jun '01

15 Jun '01

Hi, Thanks Le Verge's paper and other goodies arrived this morning. My bed-time reading for the week... ;-) ciao, Pat --

2 8

Polyhedra/src Row.cc
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 16:14:10 Modified files: src : Row.cc Log message: Missing commit of a previous spell-check.

1 0

Polyhedra/ oc/definitions.dox rc/conversion.cc
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 16:10:45 Modified files: doc : definitions.dox src : conversion.cc Log message: Added some results and definition of minimal face in definitions.dox. Minor changes in comments in conversion.cc.

1 0

Polyhedra/src ConSys.cc GenSys.cc Matrix.cc Ma ...
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 12:48:35 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Matrix.defs.hh Matrix.inlines.hh Polyhedron.cc Polyhedron.defs.hh Row.inlines.hh SatMatrix.inlines.hh Status.cc conversion.cc minimize.cc simplify.cc Log message: Made spell-check.

1 0

Polyhedra/src ConSys.cc GenSys.cc Polyhedron.c ...
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 11:49:58 Modified files: src : ConSys.cc GenSys.cc Polyhedron.cc Polyhedron.defs.hh SatRow.inlines.hh Status.defs.hh conversion.cc minimize.cc simplify.cc Log message: Minor changes in documentation.

1 0

Polyhedra/doc user_definitions.dox
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 10:53:37 Modified files: doc : user_definitions.dox Log message: Added a missed minus.

1 0

Polyhedra/doc definitions.dox
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 10:52:28 Modified files: doc : definitions.dox Log message: Fixed dimensionality rule for lineality space.

1 0

Polyhedra/src simplify.cc
by Angela Stazzone 15 Jun '01

15 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/15 10:51:43 Modified files: src : simplify.cc Log message: Minor changes in comments.

1 0

Polyhedra/src Status.defs.hh
by Angela Stazzone 14 Jun '01

14 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/14 18:23:45 Modified files: src : Status.defs.hh Log message: Added \class Doxygen directive to place the detailed description of the class in the right place (it was in the namespace section!).

1 0