September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/src Matrix.defs.hh
by Elisa Ricci 24 Sep '01

24 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/24 10:18:38 Modified files: src : Matrix.defs.hh Log message: Added some comments.

1 0

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

24 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/24 10:12:46 Modified files: src : Polyhedron.cc Log message: Little changes in comments. Correct an error in function widening_assign(): to obtain the saturation matrix sat_g, we must have constraints and generator minimized.

1 0

Polyhedra/test Makefile.am Makefile.in bug3.cc ...
by Roberto Bagnara 20 Sep '01

20 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/20 18:27:03 Modified files: test : Makefile.am Makefile.in bug3.cc bug3.dat 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.

1 0

Polyhedra/src Row.defs.hh
by Roberto Bagnara 20 Sep '01

20 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/20 12:42:48 Modified files: src : Row.defs.hh Log message: Row::Impl::copy_construct() made private.

1 0

Polyhedra/src Matrix.cc
by Roberto Bagnara 20 Sep '01

20 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/20 12:32:45 Modified files: src : Matrix.cc Log message: Spurious comment removed.

1 0

Polyhedra/src Matrix.defs.hh
by Elisa Ricci 20 Sep '01

20 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/20 11:48:22 Modified files: src : Matrix.defs.hh Log message: Added some comments.

1 0

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

20 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/20 11:46:41 Modified files: src : Row.defs.hh Row.inlines.hh Log message: Another FIXME is dead: I have try to factorize the two copy-constructors of class Impl.

1 0

Polyhedra/src conversion.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 22:10:27 Modified files: src : conversion.cc Log message: Start to change documntation inside function conversion(..): instesd of \p ... there is `...' and instead of /*! ... */ there are // on each row.

1 0

Polyhedra/src Polyhedron.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 18:03:15 Modified files: src : Polyhedron.defs.hh Log message: Another FIXME is dead.

1 0

Polyhedra/src ConSys.defs.hh GenSys.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 16:30:20 Modified files: src : ConSys.defs.hh GenSys.defs.hh Log message: Other FIXME are dead: added some comments.

1 0