February 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape affineimage8.cc affineimage ...
by Enea Zaffanella 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-13 14:05:41 Modified files: tests/BD_Shape : affineimage8.cc affineimage9.cc affinepreimage5.cc generalizedaffineimage13.cc generalizedaffinepreimage1.cc Log message: Corrected and standardized as suggested by Roberto the way we compare the computed and known results. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage8.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affineimage9.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl ./TODO src/Grid.defs.hh src/Grid_public.cc ...
by Patricia Hill 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-02-13 13:01:43 Modified files: . : TODO src : Grid.defs.hh Grid_public.cc tests/Grid : Makefile.am Added files: tests/Grid : discrete1.cc Removed files: tests/Grid : pointed1.cc Log message: Removed a todo item regarding missing operators for grids. Renamed method is_pointed() by is_discrete(). Changed name of test for this method to match change of name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/discrete1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/pointed1.cc.diff?c…

1 0

ppl/tests/Polyhedron LP_Problem3.cc
by Enea Zaffanella 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-02-13 11:19:15 Removed files: tests/Polyhedron: LP_Problem3.cc Log message: Removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/LP_Problem3.…

1 0

ppl STANDARDS
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 11:09:03 Modified files: . : STANDARDS Log message: Explain the new mechanism to obtain noisy and/or very noisy behavior from test programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl doc/devref.doxyconf-html.in doc/devref.dox ...
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 10:55:11 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in src : Makefile.am Polyhedron.defs.hh Polyhedron.inlines.hh Added files: src : Polyhedron.templates.hh Log message: New file Polyhedron.templates.hh contains non-inline template functions of the implementation of class Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… 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.inlines.hh.dif…

1 0

ppl/tests/Polyhedron addconstraint3.cc addgene ...
by Roberto Bagnara 13 Feb '06

13 Feb '06

1 0

ppl TODO
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 10:21:42 Modified files: . : TODO Log message: Added one item for PPL 0.9. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl TODO
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 10:16:29 Modified files: . : TODO Log message: Added an (urgent) item concerning the use of OK() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.18…

1 0

ppl TODO
by Roberto Bagnara 13 Feb '06

13 Feb '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-02-13 10:12:24 Modified files: . : TODO Log message: Pushed several items to PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0

ppl debian/libppl-pwl.copyright.in debian/libp ...
by Roberto Bagnara 13 Feb '06

13 Feb '06

1 0