February 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 22 Feb '04

22 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-22 17:31:46 Modified files: interfaces/C : ppl_c.cc Log message: The function snprintf() is not in standard C++: use sprintf() instead, but play safely anyway. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/interfaces/C ppl_c.h.in
by Roberto Bagnara 22 Feb '04

22 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-22 16:43:46 Modified files: interfaces/C : ppl_c.h.in Log message: Non-standard trailing comma removed from enumeration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl/interfaces/C ppl_c.cc
by Roberto Bagnara 22 Feb '04

22 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-22 16:42:35 Modified files: interfaces/C : ppl_c.cc Log message: Meaningless type qualifiers removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Roberto Bagnara 22 Feb '04

22 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-22 16:34:21 Modified files: . : NEWS TODO interfaces/C : ppl_c.cc ppl_c.h.in src : Polyhedron.defs.hh Polyhedron_public.cc Log message: The methods void Polyhedron::add_constraints(ConSys& cs), void Polyhedron::add_generators(GenSys& gs), bool Polyhedron::add_constraints_and_minimize(ConSys& cs), and bool Polyhedron::add_generators_and_minimize(GenSys& gs) have been renamed void Polyhedron::add_recycled_constraints(ConSys& cs), void Polyhedron::add_recycled_generators(GenSys& gs), bool Polyhedron::add_recycled_constraints_and_minimize(ConSys& cs), and bool Polyhedron::add_recycled_generators_and_minimize(GenSys& gs), respectively. At the same time, the methods void Polyhedron::add_constraints(const ConSys& cs), void Polyhedron::add_generators(const GenSys& gs), bool Polyhedron::add_constraints_and_minimize(const ConSys& cs), and bool Polyhedron::add_generators_and_minimize(const GenSys& gs) have been added. Corresponding changes have been made to the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.82… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.63… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl config.rpath
by Roberto Bagnara 22 Feb '04

22 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-22 15:43:36 Modified files: . : config.rpath Log message: Support Comeau's C/C++ compiler. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/config.rpath.diff?cvsroot=ppl…

1 0

ppl/src Row.defs.hh
by Roberto Bagnara 16 Feb '04

16 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-16 18:35:30 Modified files: src : Row.defs.hh Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

[Fwd: Critical bug in FFT multiply code]
by Roberto Bagnara 16 Feb '04

16 Feb '04

-------- Original Message -------- Subject: Critical bug in FFT multiply code Date: 16 Feb 2004 14:35:17 +0100 From: Torbjorn Granlund <tg(a)swox.com> To: gmp-announce(a)swox.com A bug in the FFT multiply code that can cause miscomputation has been found. Until we can provide a fix, and until we have performed extensive further testing of the code, all users are urged to recompile GMP using the --disable-fft option. Torbjörn Granlund Swox AB _______________________________________________ gmp-announce mailing list gmp-announce(a)swox.com http://swox.com/mailman/listinfo/gmp-announce -- 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] Compiling PPL under Cygwin?
by Roberto Bagnara 16 Feb '04

16 Feb '04

Goran Frehse wrote: > Roberto Bagnara wrote: > >> I assume the library that could not be found is `libstdc++.la', >> not `libstc++.la'. If so, this is the standard C++ library and >> should have been installed along with g++ on your installation. > > Yes, you are right. > Actually I just noticed that somebody answered my request in the Cygwin > mailing list about this. It turns out that the paths in the .la files > are wrong and must be corrected by hand in the current installation. > For details, see: > http://cygwin.com/ml/cygwin/2004-02/msg00304.html Dear Goran, thanks for the pointer. I have tried myself and I can confirm that the problem is the one indicated. I hope they fix the problem soon, since, with the current Cygwin, no version of the PPL can be built without fiddling with the .la files. >> Meanwhile, a few questions: (1) which version of >> the PPL are you trying to compile? (2) Which version of Cygwin >> are you using (if you use the updater http://sources.redhat.com/cygwin/ >> then we are using the same version)? (3) Did you compile GMP yourself >> and, if so, how did you configure it? > > (1) 0.5 > (2) 1.5.7-1, a fresh download from www.cygwin.com last week. > (3) GMP was compiled without further options (It installed itself in > /usr/local/lib). You need to configure GMP with --enable-cxx in order to enable its C++ interface. > Note that "make" causes no problems, only "make check". I know, the same happens under Linux. I guess this is a GMP bug. >> I attach the current version of these instructions for the C interface >> under the signature. I will draft something for the C++ interface >> and let you have it, so that you can suggest improvements and additions. > > Great. Please know that I'm not trying to cause you work, just trying to > be of assistance. And you are being of assistance. Moreover, causing work is good, since doing things upon user's demand is a good way to schedule our activities. It is so because (1) the user can then check the result with a fresh eye, and (2) several things we would like to do will remain in the waiting list anyway. > It took me a few attempts to get everything to compile > under Linux, so a few small comments might help others, too. Of course. When you have a minute, please do send that comments to us: we will include them in the documentation and/or web site. Thanks a lot, 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

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 15 Feb '04

15 Feb '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-02-15 12:39:19 Modified files: htdocs/Applications: Applications.raw Log message: URI fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

w3ppl/htdocs news.raw About/About.raw Bugs/Mak ...
by Roberto Bagnara 14 Feb '04

14 Feb '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-02-14 17:50:07 Modified files: htdocs : news.raw htdocs/About : About.raw htdocs/Bugs : Makefile htdocs/Documentation: Documentation.raw htdocs/Download: Makefile requirements.raw htdocs/Links : Links.raw Log message: Fix some broken links and useless redirects. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Makefile.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Makefile.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0