October 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Bugs Bugs.raw
by Roberto Bagnara 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-24 16:59:20 Modified files: htdocs/Bugs : Bugs.raw Log message: Announce the newly discovered (and fixed) bug in LinExpression& operator-=(LinExpression&, const LinExpression&). Old bugs that were erroneously not removed after the release of PPL 0.4.2 have been removed now. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?c…

1 0

w3ppl/htdocs/Bugs archive.raw
by Roberto Bagnara 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-24 16:57:58 Modified files: htdocs/Bugs : archive.raw Log message: Typo in HTML tag fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.dif…

1 0

ppl/src Init.defs.hh
by Roberto Bagnara 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-24 16:48:50 Modified files: src : Init.defs.hh Log message: Useless file inclusion removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.defs.hh.diff?cvsroot…

1 0

ppl/src LinExpression.cc
by Elisa Ricci 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-24 15:45:26 Modified files: src : LinExpression.cc Log message: Corrected the bug in operator-=(LinExpression& e1, const LinExpression& e2): if e1.size() < e2.size(), we compute a copy e of e1 with the dimension of e2 and then we compute e - e2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.cc.diff?cvs…

1 0

ppl/tests Makefile.am addgenerator4.cc linexpr ...
by Elisa Ricci 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-24 15:09:02 Modified files: tests : Makefile.am addgenerator4.cc Added files: tests : linexpression1.cc Log message: Now, the test addgenerator4.cc verifies only Polyhedron::add_generator(g). The bug of operator-=(LinExpression& e1, const LinExpression& e2) is now reported in the test linexpression1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linexpression1.cc?cvsro… 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/addgenerator4.cc.diff?c…

1 0

ppl/tests Makefile.am addgenerator4.cc
by Elisa Ricci 24 Oct '02

24 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-24 14:37:18 Modified files: tests : Makefile.am Added files: tests : addgenerator4.cc Log message: Added a test for Polyhedron::add_generator(g). This test shows a bug in operator-=(LinExpression& e1, const LinExpression& e2) if e1.size() < e2.size(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerator4.cc?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 23 Oct '02

23 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: ericci(a)cs.unipr.it 2002-10-23 12:19:19 Modified files: src : Polyhedron.cc Log message: Corrected a problem in Polyhedron::is_BBRZ02_stabilizing(x, y): the vector `x_num_rays' must have `x.gen_sys.num_columns() - 1' elements and not `x.space_dimension()'. We have done the same change for the vector `y_num_rays'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 23 Oct '02

23 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: ericci(a)cs.unipr.it 2002-10-23 10:09:10 Modified files: src : Polyhedron.cc Log message: Modified Polyhedron::is_BBRZ02_stabilizing(x, y) so that if `x' and `y' are not necessarily closed we compute the number of their points and closure points and not only the number of their closure points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests smfpolyhull.cc Makefile.am smfinters ...
by Enea Zaffanella 21 Oct '02

21 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-21 07:31:57 Modified files: tests : smfpolyhull.cc Makefile.am Added files: tests : smfintersection.cc Log message: Trying to better exploit smf's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smfintersection.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/smfpolyhull.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 21 Oct '02

21 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Branch: alt_nnc Changes by: zaffanella(a)cs.unipr.it 2002-10-21 07:30:04 Modified files: src : Polyhedron.cc Log message: Disregarding the minusepsray when performing strong minimization of consys. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0