October 2008 - PPL-devel - BUGSENG Mailman

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

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 18:58:43 Modified files: doc : Makefile.am Log message: The generation of the Java interface manuals is now based (among others) on the fixed file Fake_Class_for_Doxygen.java; we no longer use the genrated file Java_interface.dox. 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 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 18:39:40 Added files: interfaces/Java/parma_polyhedra_library: Fake_Class_for_Doxygen.java Log message: Put under CVS control. This will substitute Java_interface.dox (currently still generated by m4). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed…

1 0

ppl/interfaces/Java/parma_polyhedra_library By ...
by Enea Zaffanella 02 Oct '08

02 Oct '08

1 0

ppl/tests/Polyhedron memory2.cc
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 18:09:45 Modified files: tests/Polyhedron: memory2.cc Log message: Fixed a bug whereby (besides not being Valgrind-clean) we were violating the API of GMP. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory2.cc.d…

1 0

ppl/interfaces/OCaml/tests ppl_interface_gener ...
by Patricia Hill 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-02 18:06:47 Modified files: interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml.m4 Log message: Formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in…

1 0

ppl/src BD_Shape.templates.hh
by Enea Zaffanella 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-02 16:59:58 Modified files: src : BD_Shape.templates.hh Log message: Temporarily added debugging code to the closure method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 16:07:49 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_prolog_common.cc ppl_prolog_common.defs.hh ppl_prolog_common.inlines.hh Log message: New macro NOISY_PROLOG_TRACK_ALLOCATION allows to conditionally track allocation (as PROLOG_TRACK_ALLOCATION), but printing allocation and deallocation messages on std::cerr (differently from PROLOG_TRACK_ALLOCATION). Class PFunc renamed Partial_Function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_…

1 0

ppl/tests Ask_Tell/Makefile.am BD_Shape/Makefi ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-02 14:56:09 Modified files: tests/Ask_Tell : Makefile.am tests/BD_Shape : Makefile.am tests/Box : Makefile.am tests/Grid : Makefile.am tests/MIP_Problem: Makefile.am tests/Octagonal_Shape: Makefile.am tests/Partially_Reduced_Product: Makefile.am tests/Polyhedron: Makefile.am tests/Powerset : Makefile.am Log message: Use `$(VALGRIND)' instead of `valgrind' directly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Ask_Tell/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… 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/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/Makefile.am.di…

1 0

FYI: Tracing does not work on Fedora
by Roberto Bagnara 02 Oct '08

02 Oct '08

https://bugzilla.redhat.com/show_bug.cgi?id=465245 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl ./configure.ac ./configure.repo tests/Make ...
by Roberto Bagnara 02 Oct '08

02 Oct '08

1 0