August 2008 - PPL-devel - BUGSENG Mailman

ppl/src BD_Shape.defs.hh Box.defs.hh Grid.defs ...
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 22:52:39 Modified files: src : BD_Shape.defs.hh Box.defs.hh Grid.defs.hh Octagonal_Shape.defs.hh Pointset_Powerset.defs.hh Polyhedron.defs.hh Log message: Fixed doxygen cross-references for simplify_using_context_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… 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/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 22:50:54 Modified files: doc : definitions.dox Log message: Drafted an improved specification for the operator providing simplification using a given context; also specified for the case of a powerset domain. (To be double checked). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

Configure substitutions are not allowed in _SOURCES variables
by Roberto Bagnara 21 Aug '08

21 Aug '08

Hi there, I desperately need a way out this limitation of Automake. The problem is as follows: the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) provides foreign interfaces (C, OCaml, Prolog and Java) to a number of abstract domains. The abstract domains that are interfaced are selectable at configure time, and can be (literally) hundreds. The C++ code for the interfaces is automatically generated and we used to put it all in one file. However, this poses serious problems as the compilation of that (possibly gigantic) file easily causes GCC to consume gigabytes of main memory. We have now modified the generator so as to generate one C++ source per domain; we would like to compile all these files separately and and to put all the corresponding objects into a library. Using the solution outlined in the Automake manual (i.e., using conditionals) would cause us to write enormous Makefile.am files which would be a maintenance nightmare. That is, now everything is automated; if we use a long chain of conditionals we would have to maintain consistency by hand. Is there any other possibility? 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

2 4

Re: [PPL-devel] FW: patch for merging graphite branch (before tuplification)
by Roberto Bagnara 21 Aug '08

21 Aug '08

Sebastian Pop wrote: > On Wed, Aug 20, 2008 at 9:24 AM, David Edelsohn <edelsohn(a)gmail.com> wrote: >> On Tue, Aug 19, 2008 at 6:37 PM, Sebastian Pop <sebpop(a)gmail.com> wrote: >>> Thanks David. Could you give the graphite-branch a run on AIX? >> >> Seb, >> >> What release of G++ are you using to compile PPL? >> >> I initially did not have the C++ interfaces to GMP installed. I fixed that, >> but I had to compile GMP 4.1.4 with G++ 4.1. >> >> I downloaded the most recent PPL, ppl-0.10pre22 from August 15. When I try >> to build it on AIX, I first get an error in Bit_Row.inlines.hh because ffs >> is not declared. The file includes <cstring>, which includes <string.h>, >> but ffs() is not declared in /usr/include/string.h on AIX, only in, >> /usr/include/strings.h. I manually declared ffs and proceeded. >> >> But then I receive a more significant C++ error when compiling >> MIP_Problem.cc: >> >> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc: In member function >> 'Parma_Polyhedra_Library::dimension_type >> Parma_Polyhedra_Library::MIP_Problem::steepest_edge_entering_index() const': >> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc:871: error: no matching >> function for call to 'assign_r(double&, const __gmp_expr<__gmpz_value, >> __gmpz_value>&, Parma_Polyhedra_Library::Rounding_Dir)' >> /usr/gnu/src/ppl-0.10pre22/src/MIP_Problem.cc:885: error: no matching >> function for call to 'assign_r(double&, __gmp_expr<__gmpq_value, >> __gmpq_value>&, Parma_Polyhedra_Library::Rounding_Dir)' >> >> I tried G++ 4.1, 4.2, and 4.3. >> > > PPL is supposed to compile with g++ 4.0.3 or later. > I used g++ 4.2.3 and it worked on Ubuntu (linux-amd64) machine. > Roberto, is this a known bug? The first bug (including <cstring> instead of <strings.h> was unknown and is now fixed in the CVS version. For the other problem, I am unable to reproduce it on any of our machines. Can I have access to a system where the problem shows up? Cheers, Roberto P.S. Please direct all the PPL-related messages to ppl-devel(a)cs.unipr.it, not to myself. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

4 12

ppl/src checked_float.inlines.hh
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 21:27:20 Modified files: src : checked_float.inlines.hh Log message: FIXME added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.…

1 0

Re: [PPL-devel] FW: patch for merging graphite branch (before tuplification)
by Roberto Bagnara 21 Aug '08

21 Aug '08

David Edelsohn wrote: > On Thu, Aug 21, 2008 at 12:51 PM, Roberto Bagnara <bagnara(a)cs.unipr.it> wrote: >> Please let us know if it works for you; and please send me >> the config.log and config.h you obtain from configure (I would >> like to check a couple of other things). > > config.h, ppl-config.h, and config.log attached. Everything is as expected. Thanks, 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

ppl/m4 ac_cxx_double_binary_format.m4
by Roberto Bagnara 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-21 18:28:02 Modified files: m4 : ac_cxx_double_binary_format.m4 Log message: AC_CXX_DOUBLE_BINARY_FORMAT depends on AC_C_BIGENDIAN: enforce this with AC_REQUIRE. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_double_binary_forma…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-21 17:02:02 Modified files: interfaces : ppl_interface_generator_common_dat.m4 interfaces/OCaml/tests: test1.ml Log message: Changed the name of the new method in the interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh ...
by Enea Zaffanella 21 Aug '08

21 Aug '08

1 0

ppl/tests/Powerset interspreservenlarge1.cc
by Enea Zaffanella 21 Aug '08

21 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-21 16:48:26 Modified files: tests/Powerset : interspreservenlarge1.cc Log message: Test changed to use new method name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Powerset/interspreserve…

1 0