September 2001 - PPL-devel - BUGSENG Mailman

Polyhedra/test Makefile.am Makefile.in bug1.cc ...
by Roberto Bagnara 12 Sep '01

12 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/12 15:36:29 Modified files: test : Makefile.am Makefile.in bug1.cc bug2.cc bug2.dat Log message: New bug2.cc is the witness of a problem in convex hull computations. Added assertions in bug1.cc to make sure that the input polyhedra are well-formed.

1 0

Polyhedra/test Makefile.am Makefile.in bug1.cc ...
by Roberto Bagnara 11 Sep '01

11 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/11 23:05:46 Modified files: test : Makefile.am Makefile.in Added files: test : bug1.cc bug1.dat Removed files: test : bug.cc bug.dat Log message: bug1.* witness a bug: it seems that Polyhedron::constraints() (indirectly) causes the sorted flag of a Matrix to be set even when the Matrix is not sorted.

1 0

Polyhedra/src Polyhedron.cc Polyhedron.defs.hh ...
by Roberto Bagnara 11 Sep '01

11 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/11 23:03:37 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Log message: Polyhedro::check_empty() and Polyhedron::check_universe() were (erroneously) not const methods.

1 0

Polyhedra/src Constraint.cc
by Roberto Bagnara 11 Sep '01

11 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/11 14:40:30 Modified files: src : Constraint.cc Log message: Ehm, we were writing *-2A instead of -2*A. Shame on me.

1 0

Polyhedra/src Constraint.cc
by Roberto Bagnara 11 Sep '01

11 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/11 14:18:41 Modified files: src : Constraint.cc Log message: When writing constraints, write 2*A instead of 2A. This does not contribute to conciseness but is necessary in order to have other tools (such as Mesnard's cTi and Ciao-Prolog) parse the output of China.

1 0

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

11 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/11 11:23:02 Modified files: src : conversion.cc Log message: A FIXME is dead.

1 0

Polyhedra/src Constraint.cc GenSys.defs.hh Lin ...
by Roberto Bagnara 09 Sep '01

09 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/09 22:47:57 Modified files: src : Constraint.cc GenSys.defs.hh LinExpression.defs.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Row.cc Row.defs.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.defs.hh SatRow.inlines.hh Variable.defs.hh protect.sed restore.sed Log message: Several improvements. Several documentation issues have been identified.

1 0

Polyhedra/ oc/devref.doxyconf-html.in oc/devre ...
by Roberto Bagnara 09 Sep '01

09 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/09 17:54:50 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-pdf.in user.doxyconf-pdf.in src : ConSys.cc ConSys.defs.hh Constraint.defs.hh GenSys.cc GenSys.defs.hh Generator.defs.hh Makefile.am Makefile.in Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.types.hh Row.defs.hh Status.defs.hh protect.sed restore.sed test : Makefile.am Makefile.in user.cc Log message: Several improvements. The objective is to obtain the right documentation for the users.

1 0

Polyhedra/src Constraint.cc Polyhedron.inlines.hh
by Roberto Bagnara 09 Sep '01

09 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/09 11:31:16 Modified files: src : Constraint.cc Polyhedron.inlines.hh Log message: Constraint::is_nontrivial() fixed. As an interim solution, Polyhedron::constraints() now returns *sorted* constraints.

1 0

Polyhedra/ rc/ConSys.defs.hh rc/Constraint.cc ...
by Roberto Bagnara 08 Sep '01

08 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/08 20:43:46 Modified files: src : ConSys.defs.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Makefile.am Makefile.in PPL.cc Polyhedron.cc Polyhedron.defs.hh test : Makefile.am Makefile.in user.cc Log message: Started being serious about the new interface. Several bugs fixed.

1 0