October 2008 - PPL-devel - BUGSENG Mailman

ppl/Watchdog/tests Makefile.am
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 22:10:31 Modified files: Watchdog/tests : Makefile.am Log message: Spurious backslash removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/Makefile.am.di…

1 0

ppl/Watchdog/tests Makefile.am valgrind_suppre ...
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 22:05:12 Modified files: Watchdog/tests : Makefile.am Added files: Watchdog/tests : valgrind_suppressions Log message: Distribute also pwl_test.hh and valgrind_suppressions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/valgrind_suppr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/Makefile.am.di…

1 0

ppl Watchdog/doc/devref.doxyconf-html.in doc/d ...
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 22:03:17 Modified files: Watchdog/doc : devref.doxyconf-html.in doc : devref-foreign-language-interface.doxyconf.in Log message: Updated for Doxygen 1.5.7.1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/doc/devref.doxyconf-… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-foreign-language-i…

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 22:02:41 Modified files: . : configure.ac configure.repo Log message: Disable the PWL under Cygwin. It is not yet clear whether Cygwin provides the services required in order to make it work. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.repo.diff?cvsroot=p…

1 0

ppl/interfaces/Java/parma_polyhedra_library pp ...
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 19:30:11 Modified files: interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java.m4 Log message: A few improvement to the pre/post class code: we now add a brief Doxygen comment with a link to the corresponding C++ class. The links work fine (in the HTML manuals, exploiting the tag file) as long as the C++ class names do not correspond to template instances. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 19:24:13 Modified files: doc : Makefile.am Log message: Added more ad-hoc Doxygen commands for the configured-java manuals: we need to exclude the fixed documentation in Fake_Class_for_Doxygen.java (since otherwise Doxygen gets confused by the repeated class definitions); moreover, for the user manuals, we list undocumented members too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/interfaces/Java/parma_polyhedra_library Fa ...
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 18:11:07 Modified files: interfaces/Java/parma_polyhedra_library: Fake_Class_for_Doxygen.java Log message: Small correction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/interfaces/Java/parma_polyhedra_library PP ...
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 18:10:27 Modified files: interfaces/Java/parma_polyhedra_library: PPL_Object.java Log message: Class PPL_Object should only concern developers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-05 12:28:55 Modified files: interfaces/C : C_interface.dox Log message: Corrected/improved documentation for powerset iterators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/Watchdog/tests simple1.cc
by Roberto Bagnara 05 Oct '08

05 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-05 10:33:44 Modified files: Watchdog/tests : simple1.cc Log message: Added some debug output. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/tests/simple1.cc.dif…

1 0