October 2002 - PPL-devel - BUGSENG Mailman

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

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 16:24:51 Modified files: src : Polyhedron.cc Log message: The implementation of generalized_affine_image(lhs, rel, rhs, denom) now handles some special cases in a more efficient way. 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 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 16:14:31 Modified files: src : Polyhedron.cc Log message: In Polyhedron::strongly_minimize_constraints() and Polyhedron::strongly_minimize_generators() corrected the bug shown by minconstraints3.cc and mingenerators3.cc: now we verify if the polyhedron is not empty and zero-dimensional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/tests Makefile.am minconstraints3.cc minge ...
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 16:10:33 Modified files: tests : Makefile.am Added files: tests : minconstraints3.cc mingenerators3.cc Log message: The test minconstraints3.cc shows a bug in Polyhedron::strongly_minimize_constraints(). The test mingenerators3.cc shows a bug in Polyhedron::strongly_minimize_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/minconstraints3.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mingenerators3.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 16:06:14 Modified files: htdocs : news.raw ppl.raw Log message: Typos fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 16:04:25 Modified files: htdocs/Documentation: Documentation.raw Log message: Use a consistent style of citing conferences and workshops. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs ppl.raw news.raw
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 16:04:02 Modified files: htdocs : ppl.raw news.raw Log message: New news enter the home page. Old news are in the news archive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0

w3ppl/htdocs ppl.raw Documentation/Documentati ...
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 15:56:17 Modified files: htdocs : ppl.raw htdocs/Documentation: Documentation.raw Log message: Announce the publication of the Madrid papers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-02 15:38:00 Modified files: tests : Makefile.am Log message: Expect addgenerators11 to fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions1.cc
by Enea Zaffanella 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-02 14:54:19 Modified files: tests : exceptions1.cc Log message: Fixed a few comments on tests about generalized_affine_image. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions1.cc.diff?cvs…

1 0

ppl/tests generalizedaffineimage8.cc
by Elisa Ricci 02 Oct '02

02 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-10-02 14:40:56 Modified files: tests : generalizedaffineimage8.cc Log message: Corrected an error in the comment of the test: the relation is `>' and not `<'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage8…

1 0