- PPL-devel - BUGSENG Mailman

Polyhedra/src simplify.cc
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 10:07:15 Modified files: src : simplify.cc Log message: Correct an error: there was a forgotten "*/".

1 0

Polyhedra/src Matrix.cc
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 09:52:07 Modified files: src : Matrix.cc Log message: Little changes in comments. Erase a FIXME: now, we use new_kept_rows instead of new_rows()

1 0

Polyhedra/src simplify.cc
by Elisa Ricci 25 Sep '01

25 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/25 18:41:51 Modified files: src : simplify.cc Log message: Added some comments. Little changes in the old comments.

1 0

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

25 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/25 18:01:50 Modified files: src : conversion.cc Log message: Added some comments and erare the FIXME about the proof of the necessity of the adjacenty property not to have redundant new rays.

1 0

Polyhedra/doc user_definitions.dox
by Elisa Ricci 25 Sep '01

25 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/25 17:24:51 Modified files: doc : user_definitions.dox Log message: Add the definition af adjacent rays.

1 0

Polyhedra/src minimize.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 11:59:29 Modified files: src : minimize.cc Log message: Little changes in comments.

1 0

Polyhedra/src/BitSet BitSet.cc BitSet.defs.hh
by Roberto Bagnara 24 Sep '01

24 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/24 11:44:02 Modified files: src/BitSet : BitSet.cc BitSet.defs.hh Log message: Synchronize with the China development tree.

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 11:06:02 Modified files: src : Polyhedron.cc Log message: Little changes in comment.

1 0

Polyhedra/src ConSys.cc Constraint.inlines.hh ...
by Roberto Bagnara 24 Sep '01

24 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/24 10:27:20 Modified files: src : ConSys.cc Constraint.inlines.hh GenSys.cc Makefile.am Makefile.in Matrix.cc Matrix.inlines.hh Row.inlines.hh SatMatrix.cc SatMatrix.inlines.hh conversion.cc src/Integer : Integer.cc Integer.defs.hh Added files: src : maxmin.hh Log message: Several improvements.

1 0

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