- PPL-devel - BUGSENG Mailman

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

15 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/15 10:17:08 Modified files: src : conversion.cc Log message: Now bug1 is corrected.

1 0

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

15 Sep '01

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

1 0

Polyhedra/src Polyhedron.inlines.hh
by Elisa Ricci 15 Sep '01

15 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/15 09:20:36 Modified files: src : Polyhedron.inlines.hh Log message: Now generators() returns a sorted matrix.

1 0

Polyhedra/src Generator.defs.hh
by Roberto Bagnara 14 Sep '01

14 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/14 23:14:55 Modified files: src : Generator.defs.hh Log message: Drafting a new user interface for generators as well.

1 0

Polyhedra/src Polyhedron.inlines.hh
by Roberto Bagnara 14 Sep '01

14 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/14 19:10:31 Modified files: src : Polyhedron.inlines.hh Log message: Factorize calls to Matrix::sort_rows() in Polyhedron::constraints().

1 0

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

14 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/14 19:00:13 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: Polyhedron::constraints() fixed. Assume and enforce that Polyhedron::update_sat_c() and Polyhedron::update_sat_g() are never called if we know that the call is unnecessary.

1 0

Polyhedra/src Polyhedron.inlines.hh
by Elisa Ricci 14 Sep '01

14 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/14 18:18:55 Modified files: src : Polyhedron.inlines.hh Log message: In function constraints(), when we sort the matrix, we also sort the SatMatrix if they are update.

1 0

Polyhedra/test bug1.cc
by Roberto Bagnara 14 Sep '01

14 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto(a)sandbox.cs.unipr.it 01/09/14 18:03:48 Modified files: test : bug1.cc Log message: Make sure x and y are both OK() before calling x.convex_hull_assign(y).

1 0

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

13 Sep '01

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci(a)sandbox.cs.unipr.it 01/09/13 17:33:10 Modified files: src : Constraint.defs.hh Generator.defs.hh Polyhedron.cc Log message: Two FIXME are dead.

1 0

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