- PPL-devel - BUGSENG Mailman

Polyhedra/src Polyhedron.cc SatMatrix.cc SatRo ...
by Roberto Bagnara 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/07 23:08:49 Modified files: src : Polyhedron.cc SatMatrix.cc SatRow.inlines.hh Log message: Two (!) bugs in SatRow::clear_from() have been fixed. The bug discovered and fixed by Angela in SatMatrix::resize() was a genuine one. Fixed a bug in the new part of Polyhedron::OK(): there was == instead of !=. Then commented out everything since the basic assumption behind it seems bogus.

1 0

Polyhedra/src Polyhedron.cc
by Elisa Ricci 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/06/07 17:20:59 Modified files: src : Polyhedron.cc Log message: Modified Polyhedron::OK() in the part of constraints_are_min... and generators_are_min... We are not sure. Please, can you verify it?

1 0

Polyhedra/src SatMatrix.defs.hh SatMatrix.inli ...
by Angela Stazzone 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/07 17:05:57 Modified files: src : SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.inlines.hh Log message: Finished to comment class SatMatrix.

1 0

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

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/07 17:04:42 Modified files: src : Status.cc Status.defs.hh Log message: Minor changes in comments.

1 0

Polyhedra/src minimize.cc
by Angela Stazzone 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/07 17:04:14 Modified files: src : minimize.cc Log message: Killed a FIXME.

1 0

Polyhedra/src SatMatrix.cc SatMatrix.defs.hh S ...
by Angela Stazzone 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: stazzone(a)sandbox.cs.unipr.it 01/06/07 13:06:35 Modified files: src : SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh Log message: Started to comment class SatMatrix.

1 0

Polyhedra/doc user_definitions.dox
by Patricia Hill 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: hill(a)sandbox.cs.unipr.it 01/06/07 13:00:07 Modified files: doc : user_definitions.dox Log message: Some relatively small changes to the wording.

1 0

Polyhedra/src Matrix.cc Matrix.defs.hh SatMatr ...
by Roberto Bagnara 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/07 12:10:31 Modified files: src : Matrix.cc Matrix.defs.hh SatMatrix.cc SatMatrix.defs.hh Log message: Matrix::remove_duplicates() killed and inlined within Matrix::sort_rows(). Matrix::sort_rows() and SatMatrix::sort_rows() reconciled.

1 0

Polyhedra/src ConSys.cc GenSys.cc Matrix.cc Po ...
by Roberto Bagnara 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/07 10:49:29 Modified files: src : ConSys.cc GenSys.cc Matrix.cc Polyhedron.cc Polyhedron.defs.hh Log message: Lots of FIXME killed.

1 0

Polyhedra/src GenSys.cc
by Roberto Bagnara 07 Jun '01

07 Jun '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/06/07 08:22:58 Modified files: src : GenSys.cc Log message: Silly edit.

1 0