February 2008 - PPL-devel - BUGSENG Mailman

ppl/src Any_Pointset.defs.hh
by Enea Zaffanella 28 Feb '08

28 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-02-28 10:15:12 Modified files: src : Any_Pointset.defs.hh Log message: Minor typo corrected in docs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 28 Feb '08

28 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-02-28 10:14:32 Modified files: src : Octagonal_Shape.templates.hh Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl src/Box.templates.hh src/Polyhedron_public ...
by Patricia Hill 25 Feb '08

25 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-25 11:37:20 Modified files: src : Box.templates.hh Polyhedron_public.cc tests/Box : Makefile.am generalizedaffineimage1.cc Added files: tests/Box : generalizedaffineimage2.cc Log message: Added implementation for generalized_affine_image/3 Tests added and existing tests revised. Indentation corrected in src/Polyhedron_public.cc. 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/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineim… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineim…

1 0

ppl src/Polyhedron_public.cc tests/Polyhedron/ ...
by Patricia Hill 22 Feb '08

22 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-22 23:07:38 Modified files: src : Polyhedron_public.cc tests/Polyhedron: boundedaffineimage1.cc Log message: Fixed bug indicated in previous commit. Added two further tests to tests/Polyhedron/boundedaffineimage1.cc to cover more cases of positive and negative denominator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin…

1 0

ppl/src Box.templates.hh
by Patricia Hill 22 Feb '08

22 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-22 13:22:18 Modified files: src : Box.templates.hh Log message: Use temporaries more in the bounded_affine_image/4 code.. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl src/Box.templates.hh tests/Box/Makefile.am ...
by Patricia Hill 22 Feb '08

22 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-22 12:59:06 Modified files: src : Box.templates.hh tests/Box : Makefile.am boundedaffineimage1.cc generalizedaffineimage1.cc Log message: First draft of code for generalized_affine_image/4 and bounded_affine_image/4. Tests revised and also enabled in Makefile.am. 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/tests/Box/Makefile.am.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/boundedaffineimage1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/generalizedaffineim…

1 0

ppl/tests/Polyhedron boundedaffineimage1.cc
by Patricia Hill 22 Feb '08

22 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-22 12:16:08 Modified files: tests/Polyhedron: boundedaffineimage1.cc Log message: Added a test04 that shows a bug in bounded_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin…

1 0

ppl/doc devref-c-interface.doxyconf-html.in de ...
by Enea Zaffanella 21 Feb '08

21 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-02-21 13:16:26 Modified files: doc : devref-c-interface.doxyconf-html.in devref-c-interface.doxyconf-latex.in devref-c-interface.tex devref-prolog-interface.doxyconf-html.in devref-prolog-interface.doxyconf-latex.in devref.doxyconf-html.in devref.doxyconf-latex.in devref.tex fdl.dox gpl.dox user-c-interface.doxyconf-html.in user-c-interface.doxyconf-latex.in user-c-interface.tex user-prolog-interface.doxyconf-html.in user-prolog-interface.doxyconf-latex.in user-prolog-interface.tex user.doxyconf-html.in user.doxyconf-latex.in user.tex Log message: Modified configuration files for the HTML versions of foreign language interface manuals so that they will always include a new copy of the GPL and GFDL licenses. Creating a documentation page in Doxygen using command \page does not produces a referenceable anchor: hence, explicitly added commands \anchor to gpl.dox and fdl.dox; modified main *.tex pages so as to proper reference these anchors (thereby solving a long standing issue). All Doxygen configuration files upgraded to version 1.5.5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.doxyco… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-prolog-interface.d… 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/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.doxyconf… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.dox… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

static initialization interferes with OpenGL
by Manoj Rajagopalan 21 Feb '08

21 Feb '08

Hi all, This looks like a bug to me. I'm working on a Intel Core 2 Duo / Fedora 8 laptop. In any application that uses OpenGL, simply including ppl.hh causes the program to hang. Running GDB and interrupting it shows an error in the OpenGL library (libGL.so). This is strange but I don't know why it is happening. I am not encountering any error in non-OpenGL programs using Parma. My OpenGL driver is the NVIDIA driver from Livna. Has anyone encountered something like this before? Thanks, Manoj

2 1

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Feb '08

19 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-19 22:32:18 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 Log message: Added the Tuareg emacs mode at the start of the ml and mli files and the C++ mode at the start of the cc file. These then used to help improved some formatting. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0