November 2008 - PPL-devel - BUGSENG Mailman

ppl/src Box.templates.hh
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-24 15:34:33 Modified files: src : Box.templates.hh Log message: Unwanted code removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 14:35:56 Modified files: htdocs/Documentation: ppl.bib Log message: Added BemporadFT00TR and BemporadFT01. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src C_Polyhedron.cc
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 12:07:42 Modified files: src : C_Polyhedron.cc Log message: Method C_Polyhedron::poly_hull_assign_if_exact() is now implemented using Polyhedron::BFT00_poly_hull_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_nonpublic.cc
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 12:05:35 Modified files: src : Polyhedron.defs.hh Polyhedron_nonpublic.cc Log message: Added protected method BFT00_poly_hull_assign_if_exact(), implementing (a variant of) an algorithm for the recognition of convex unions originally proposed by Bemporad, Fukuda and Torrisi in 2000. 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_nonpublic.cc.d…

1 0

ppl/tests/Polyhedron Makefile.am polyhullifexa ...
by Enea Zaffanella 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-24 11:41:23 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: polyhullifexact1.cc Log message: Added tests for method poly_hull_assign_if_exact(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polyhullifex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl src/Box.templates.hh src/Grid_Generator.de ...
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-24 10:23:31 Modified files: src : Box.templates.hh Grid_Generator.defs.hh tests/Box : fromgrid1.cc Log message: The implementation of the Box from Grid constructor has been modified to use Grid::maximize() to check if a dimension is bounded and no longer needs Grid_Generator to declare the Box class as a friend. The FIXME(0.10.1) wrt this has been removed. 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/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/fromgrid1.cc.diff?c…

1 0

w3ppl/htdocs/Bugs Bugs.raw archive.raw
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-11-24 09:39:47 Modified files: htdocs/Bugs : Bugs.raw archive.raw Log message: Report bug fix for the Grid class that affected the bounds_from_above(), bounds_from_below(), maximize() and minimize() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl NEWS
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-24 09:37:02 Modified files: . : NEWS Log message: Report bug fix corrected in previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.28…

1 0

ppl/src Grid_nonpublic.cc
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-24 09:36:07 Modified files: src : Grid_nonpublic.cc Log message: Corrected private method bounds() whereby it did not correctly deal with the case when the grid generators were up-to-date but not minimized. This corrects the bugs shown in the previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/tests/Grid bounds1.cc maxmin1.cc
by Patricia Hill 24 Nov '08

24 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-11-24 09:34:01 Modified files: tests/Grid : bounds1.cc maxmin1.cc Log message: Tests added that show a bug in bounds_from_above(), bounds_from_below(), maximize(), and minimize() in the Grids class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bounds1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/maxmin1.cc.diff?cv…

1 0