September 2008 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 15:59:39 Modified files: . : TODO Log message: Pushed an item to PPL 0.11 or later version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 15:52:08 Modified files: tests/Polyhedron: memory1.cc Log message: The Alpha is no longer special, as far as this test is concerned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

Re: [PPL-devel] Missing symbols in C interface.
by Roberto Bagnara 29 Sep '08

29 Sep '08

Nicolas CANIART wrote: > I'm currently working with PPL throught its C programming interface. > For some days now, have been bothered by some missing symbols in the interface. > Namely: > > ppl_Polyhedron_poly_hull_assign_and_minimize (*) > ppl_new_C_Polyhedron_empty_from_dimension > ppl_Polyhedron_constraints > ppl_new_C_Polyhedron_from_dimension > > I'm working on a debian system and using the packaged version of ppl which is > not necessarily up-to-date. Checking CVS log I saw that a bug was introduced > in file: > ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 > and fixed at revision 1.29 so I tried to build the lib from CVS sources > but with no more success. In fact the function (*) was not missing in the > debian package but is now. > Since I'm not completely sure that the above-mentionned bug is related to > my problem, and where to look in ppl sources, I'm turning to you. > Could you, please, shed some light on my problem. Dear Nicolas, first of all we should identify the precise version you are using. Then, since some of the symbols above are obsolete, we would need to know why you expect them to be defined. If you can tell us what you are working on, we can certainly help. Please direct all PPL-related messages to ppl-devel(a)cs.unipr.it. All the best, Roberto -- 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

Re: [PPL-devel] Missing symbols in C interface.
by Roberto Bagnara 29 Sep '08

29 Sep '08

Nicolas CANIART wrote: > I'm currently working with PPL throught its C programming interface. > For some days now, have been bothered by some missing symbols in the interface. > Namely: > > ppl_Polyhedron_poly_hull_assign_and_minimize (*) > ppl_new_C_Polyhedron_empty_from_dimension > ppl_Polyhedron_constraints > ppl_new_C_Polyhedron_from_dimension > > I'm working on a debian system and using the packaged version of ppl which is > not necessarily up-to-date. Checking CVS log I saw that a bug was introduced > in file: > ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 > and fixed at revision 1.29 so I tried to build the lib from CVS sources > but with no more success. In fact the function (*) was not missing in the > debian package but is now. > Since I'm not completely sure that the above-mentionned bug is related to > my problem, and where to look in ppl sources, I'm turning to you. > Could you, please, shed some light on my problem. Dear Nicolas, first of all we should identify the precise version you are using. Then, since some of the symbols above are obsolete, we would need to know why you expect them to be defined. If you can tell us what you are working on, we can certainly help. Please direct all PPL-related messages to ppl-devel(a)cs.unipr.it. All the best, Roberto -- 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

[Fwd: Missing symbols in C interface.]
by Roberto Bagnara 29 Sep '08

29 Sep '08

-------- Original Message -------- Subject: Missing symbols in C interface. Date: Mon, 29 Sep 2008 14:24:13 +0200 From: Nicolas CANIART <nicolas.caniart(a)labri.fr> Reply-To: Nicolas CANIART <nicolas.caniart(a)labri.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> I'm currently working with PPL throught its C programming interface. For some days now, have been bothered by some missing symbols in the interface. Namely: ppl_Polyhedron_poly_hull_assign_and_minimize (*) ppl_new_C_Polyhedron_empty_from_dimension ppl_Polyhedron_constraints ppl_new_C_Polyhedron_from_dimension I'm working on a debian system and using the packaged version of ppl which is not necessarily up-to-date. Checking CVS log I saw that a bug was introduced in file: ppl/interfaces/C/ppl_interface_generator_c_h_code.m4 and fixed at revision 1.29 so I tried to build the lib from CVS sources but with no more success. In fact the function (*) was not missing in the debian package but is now. Since I'm not completely sure that the above-mentionned bug is related to my problem, and where to look in ppl sources, I'm turning to you. Could you, please, shed some light on my problem. Thanks in advance, Nicolas. -- Nicolas CANIART | PhD. Student LaBRI, Domaine Universitaire | Room : 378 351, Cours de la Libération | Phone : +33 (0)540 003 511 F-33405 Talence CEDEX | e-mail: nicolas.caniart(a)labri.fr -- 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/interfaces/C/tests
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 14:25:20 ppl/interfaces/C/tests Update of /cvs/ppl/ppl/interfaces/C/tests In directory spartacus.cs.unipr.it:/tmp/cvs-serv23716/tests Log Message: Directory /cvs/ppl/ppl/interfaces/C/tests added to the repository

1 0

ppl/tests/Polyhedron memory1.cc
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 14:20:56 Modified files: tests/Polyhedron: memory1.cc Log message: Use PPL_CXX_SUPPORTS_LIMITING_MEMORY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/memory1.cc.d…

1 0

ppl configure.ac configure.repo
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 13:53:14 Modified files: . : configure.ac configure.repo Log message: Use AC_CXX_SUPPORTS_LIMITING_MEMORY. 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/m4 ac_cxx_limit_memory.m4
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 13:52:06 Added files: m4 : ac_cxx_limit_memory.m4 Log message: New function to check whether it is possible to limit the memory available to processes using setrlimit(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_limit_memory.m4?cvs…

1 0

ppl/src checked_mpz.inlines.hh
by Abramo Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-29 11:49:11 Modified files: src : checked_mpz.inlines.hh Log message: Fixed typo. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0