September 2002 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Elisa Ricci 11 Sep '02

11 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-11 12:55:04 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added the function static bool is_BBRZ02_stabilizing(const Polyhedron& x, const Polyhedron& y). Used this new function in Polyhedron::BBRZ02_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-09-10 23:30:27 Modified files: src : Polyhedron.cc Log message: A couple of comments adjusted in add_generator() and bbrz_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl ./NEWS doc/definitions.dox interfaces/C/lp ...
by Roberto Bagnara 10 Sep '02

10 Sep '02

1 0

ppl/tests topclosed1.cc
by Roberto Bagnara 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-09-10 18:12:17 Modified files: tests : topclosed1.cc Log message: Indentation improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed1.cc.diff?cvsr…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-10 18:05:18 Modified files: src : Polyhedron.cc Log message: Simplify the function `Polyhedron::add_generator(g)' in the case of a necessarily closed empty polyhedron and of a non-necessarily closed generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am topclosed1.cc topclosed2.cc
by Elisa Ricci 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-10 18:00:31 Modified files: tests : Makefile.am Added files: tests : topclosed1.cc topclosed2.cc Log message: Added two tests for the method `Polyhedron::is_topologically_closed()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed1.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosed2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-09-10 17:22:35 Modified files: src : Polyhedron.cc Log message: The correction of the bug on Polyhedron::operator<=() reported on the alt_nnc branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am exceptions1.cc exception ...
by Elisa Ricci 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-09-10 16:46:59 Modified files: tests : Makefile.am exceptions1.cc exceptions2.cc Added files: tests : addgenerator1.cc addgenerator2.cc addgenerators10.cc h79widening4.cc Log message: Added some other tests to verify the functions of Polyhedron.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator1.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator2.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators10.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/h79widening4.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 10 Sep '02

10 Sep '02

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_4-branch Changes by: roberto(a)cs.unipr.it 2002-09-10 14:50:22 Modified files: src : Polyhedron.cc Log message: Parma_Polyhedra_Library::dimension_type is undefined in PPL 0.4.x. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests bounds2.cc polydifference5.cc polydi ...
by Elisa Ricci 10 Sep '02

10 Sep '02

1 0