September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src LinExpression.defs.hh LinExpress ...
by Elisa Ricci 30 Sep '01

30 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/30 16:41:17 Modified files: src : LinExpression.defs.hh LinExpression.inlines.hh Log message: Erase a FIXME: added comments for this class.

1 0

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

30 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/30 11:27:04 Modified files: src : Polyhedron.cc Log message: Modify operator <=: now, it does not modify the two polyhedrons. Added some comments in widening_assign(...). Little changes in comments.

1 0

Polyhedra/src conversion.cc
by Elisa Ricci 30 Sep '01

30 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/30 11:24:34 Modified files: src : conversion.cc Log message: Little changes in comments.

1 0

Re: [PPL-devel] Polyhedra/test Makefile.am Makefile.in bug3.cc ...
by Enea Zaffanella 27 Sep '01

27 Sep '01

> Log message: > bug3 shows what may or may be not a bug. > In any case, Polyhedra::conversion() is entered with a big > (but not terrible) polyhedron and control seems not to comes back, > while memory usage seems to grow slowly but continuously. > It may be "the concrete effects of combinatorial explosion" > or a genuine bug. I have started playing with the example. When considering the first 33 constraints, it returns almost immediately that the polyhedron is not empy; when considering 34 constraints, it returns after some time (say, a couple of minutes on gandalf, which is slow and has few memory); with 35 constraints it is still running after 6 minutes of CPU time. It would be also interesting to experiment with different segments of the matrix, e.g. by using the LAST rows instead of the first ones ... Enea.

1 0

Polyhedra/src conversion.cc
by Enea Zaffanella 27 Sep '01

27 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/09/27 16:05:14 Modified files: src : conversion.cc Log message: A few punctuation symbols after displays removed; closed the mathematical environment in a comment.

1 0

Polyhedra/src simplify.cc
by Enea Zaffanella 27 Sep '01

27 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/09/27 16:03:53 Modified files: src : simplify.cc Log message: Added a missing parenthesis in a latex comment.

1 0

Polyhedra/src Polyhedron.cc
by Enea Zaffanella 27 Sep '01

27 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella(a)sandbox.cs.unipr.it 01/09/27 16:02:09 Modified files: src : Polyhedron.cc Log message: In LaTeX, never (never!) write a punctuation symbol (.,:; ecc.) after a displayed formula; rather, write it INSIDE (at the end) of the displayed formula.

1 0

Polyhedra/src ConSys.inlines.hh GenSys.cc GenS ...
by Elisa Ricci 26 Sep '01

26 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/26 16:51:09 Modified files: src : ConSys.inlines.hh GenSys.cc GenSys.inlines.hh Matrix.inlines.hh Polyhedron.cc Polyhedron.inlines.hh Row.cc Row.inlines.hh SatMatrix.cc SatMatrix.inlines.hh SatRow.inlines.hh Log message: Little changes in comments.

1 0

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

26 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/26 15:52:07 Modified files: src : Constraint.defs.hh Generator.defs.hh Log message: Some little changes in comments.

1 0

Polyhedra/src SatMatrix.defs.hh SatRow.defs.hh
by Elisa Ricci 26 Sep '01

26 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/26 15:48:36 Modified files: src : SatMatrix.defs.hh SatRow.defs.hh Log message: Added some comments.

1 0