- PPL-devel - BUGSENG Mailman

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

ppl/tests Makefile.am 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:39:19 Modified files: tests : Makefile.am Added files: tests : generalizedaffineimage8.cc Log message: Added a new test for Polyhedron::generalized_affine_image(v, r, e, d) in the case of non necessarily closed polyhedron and the relation `>'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/generalizedaffineimage8… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/tests exceptions2.cc
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 14:30:56 Modified files: tests : exceptions2.cc Log message: Adapted to the new interface of Polyhedron::generalized_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs…

1 0