August 2005 - PPL-devel - BUGSENG Mailman

ppl/src Generator_System.cc
by Matthew Mundell 08 Aug '05

08 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-08 19:54:08 Modified files: src : Generator_System.cc Log message: Call remove_invalid_lines_and_rays when grid is true. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

Re: Ciao check (fwd)
by P M Hill 08 Aug '05

08 Aug '05

Hi, Last October (2004) we wrote: "do you remember we had problems that could only be cured by inserting `GLOBALSTKSIZE=1000000' into the environment when running _some_ programs? If you don't remember, please read at http://www.cs.unipr.it/pipermail/ppl-devel/2003-April/003589.html I have now tried to see whether the fixes of 1.10#5 make this kludge unnecessary. The answer is negative, even though the error message is now different." We have never received an answer to this message and the problem prevents us running checks for the Ciao interface for the PPL which are needed if we are to support this interface. Do let us know what we can do to help you find what is the cause of this problem. Best wishes, Pat Dr Pat Hill School of Computing University of Leeds

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 05 Aug '05

05 Aug '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2005-08-05 18:19:34 Modified files: htdocs/Documentation: ppl.bib Log message: Added 1997 paper by Quinton et al. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

Re: Installing GMP on OS X 10.3.x
by Roberto Bagnara 04 Aug '05

04 Aug '05

Amit Bhatia wrote: > I have the gcc version 3.3 20030304 (Apple Computer, Inc. build 1640) on os > X 10.3 > I also have fink packages installed(all the usual ones). > I am trying to install the PPL package where it shows the following > requirements: > http://www.cs.unipr.it/ppl/Download/requirements > > Do I need to install GMP package or is it included and already installed? > on doing "locate gmp", the following came up: > > /sw/lib/libgmp.3.3.2.dylib > /sw/lib/libgmp.3.dylib > /sw/lib/libgmpxx.3.0.4.dylib > /sw/lib/libgmpxx.3.dylib > /sw/share/doc/gmp-shlibs > > and some more.. > so does this mean it is already installed? How can I check what version is > installed? > If it is not then how do I go abt doing it? I read at some other place that > there are some mac specific issues? Dear Amit, I don't know which problem you are facing. However, my advice is to compile GMP from sources. I have just tried the following on a friend's computer runinng Mac OS X 10.3 and it works as expected: $ mkdir -p tmp/ppl $ cd tmp/ppl $ wget http://ftp.sunet.se/pub/gnu/gmp/gmp-4.1.4.tar.bz2 $ tar jxf gmp-4.1.4.tar.bz2 $ cd gmp-4.1.4 $ ./configure --prefix=/Users/bagnara/tmp/ppl --enable-cxx --disable-shared $ make $ make install $ cd .. $ wget http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.8pre4.tar.bz2 $ tar jxf ppl-0.8pre4.tar.bz2 $ cd ppl-0.8pre4 $ ./configure --with-libgmp-prefix=/Users/bagnara/tmp/ppl --prefix=/Users/bagnara/tmp/ppl $ make I hope it helps. 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

ppl/tests/Grid Makefile.am foldspacedims1.cc
by Matthew Mundell 03 Aug '05

03 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-03 20:36:58 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : foldspacedims1.cc Log message: Add foldspacedims1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/foldspacedims1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid join1.cc
by Matthew Mundell 03 Aug '05

03 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-03 20:35:28 Modified files: tests/Grid : join1.cc Log message: Add test6 and test7, in which the generators are initially out of date. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc Grid_chdims.cc
by Matthew Mundell 03 Aug '05

03 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-03 20:33:29 Modified files: src : Grid_public.cc Grid_chdims.cc Log message: Enable fold_space_dimensions. Invert the empty tests after updating in join_assign. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/tests/Grid affineimage1.cc
by Matthew Mundell 02 Aug '05

02 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-02 19:43:25 Modified files: tests/Grid : affineimage1.cc Log message: Format linear expressions consistently. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affineimage1.cc.di…

1 0

ppl/tests/Grid Makefile.am affinepreimage1.cc
by Matthew Mundell 02 Aug '05

02 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-02 19:42:11 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : affinepreimage1.cc Log message: Add affinepreimage1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 02 Aug '05

02 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-02 19:41:03 Modified files: src : Grid_public.cc Log message: Enable affine_preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0