February 2007 - PPL-devel - BUGSENG Mailman

ppl/src Box.templates.hh Polyhedron.templates.hh
by Roberto Bagnara 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-27 20:52:37 Modified files: src : Box.templates.hh Polyhedron.templates.hh Log message: Fixed Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.d…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-02-27 19:03:53 Modified files: src : Box.templates.hh Log message: Constructor taking a Polyhedron rewritten from scratch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box frompolyhedron1.cc
by Enea Zaffanella 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-02-27 19:02:49 Modified files: tests/Box : frompolyhedron1.cc Log message: Adjusted the known result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/frompolyhedron1.cc.…

1 0

ppl src/Box.defs.hh src/Box.inlines.hh src/Box ...
by Roberto Bagnara 27 Feb '07

27 Feb '07

1 0

ppl ./NEWS src/BD_Shape.inlines.hh src/BD_Shap ...
by Roberto Bagnara 27 Feb '07

27 Feb '07

1 0

ppl/src Box.defs.hh Box.templates.hh Polyhedro ...
by Roberto Bagnara 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-27 16:29:04 Modified files: src : Box.defs.hh Box.templates.hh Polyhedron.templates.hh Log message: New constructor `explicit Box(const Polyhedron& ph, Complexity_Class complexity = ANY_COMPLEXITY)' builds a box from the polyhedron `ph' taking into account `complexity'. This is the beginning of the end of Polyhedron::shrink_bounding_box(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.d…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.inlines.hh
by Roberto Bagnara 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-27 16:27:04 Modified files: src : Polyhedron.defs.hh Polyhedron.inlines.hh Log message: New private method `Constraint_System simplified_constraints() const' returns, if constraints are up-to-date, a simplified copy of them. Class Polyhedron now befriends Box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl ./NEWS src/Constraint_System.defs.hh src/C ...
by Roberto Bagnara 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-27 16:23:13 Modified files: . : NEWS src : Constraint_System.defs.hh Constraint_System.inlines.hh Generator_System.defs.hh Generator_System.inlines.hh Log message: The new methods `bool Constraint_System::empty() const' and `bool Generator_System::empty() const' return true if and only if the constraint (resp., generator) system has no constraints (resp., generators). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.20… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.…

1 0

ppl/src Matrix.defs.hh Matrix.inlines.hh
by Roberto Bagnara 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-02-27 16:18:24 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Log message: New method bool Matrix empty() const returns true if and only if *this has no rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

ppl/tests/Box cc76widening.cc foldspacedims1.c ...
by Enea Zaffanella 27 Feb '07

27 Feb '07

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: zaffanella(a)cs.unipr.it 2007-02-27 15:56:18 Modified files: tests/Box : cc76widening.cc foldspacedims1.cc removespacedims1.cc Log message: Minor corrections to the known results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/cc76widening.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/foldspacedims1.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/removespacedims1.cc…

1 0