August 2004 - PPL-devel - BUGSENG Mailman

That's all right
by Enrico Oliosi 19 Aug '04

19 Aug '04

Hi Ppl-devel, I downloaded and installed new version of Ppl: Ppl-0.6. I configured my parser to work with this new version and it seems work very well. I added in my class Comand the function to print the variables in the right way and it seems to be OK. If I find some mistakes in the lib I will not esitate to tell it you. Thanks to all you for help. All the bests, Enrico. ======================================= Enrico Oliosi @-mail: enrico.oliosi(a)students.univr.it enrico.oliosi(a)libero.it WWW: http://spy.sci.univr.it/~enrico ======================================= ------------------------------------------------- This mail sent through IMP: http://horde.org/imp/

1 0

w3ppl/htdocs/Documentation Documentation.raw P ...
by Roberto Bagnara 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-19 16:23:12 Modified files: htdocs/Documentation: Documentation.raw Added files: htdocs/Documentation: PPL_Seminar_Parma_2003a.pdf PPL_Seminar_Parma_2003a.ps.gz PPL_Seminar_Parma_2003b.pdf PPL_Seminar_Parma_2003b.ps.gz PPL_Seminar_Parma_2004a.pdf PPL_Seminar_Parma_2004a.ps.gz PPL_Seminar_Parma_2004b.pdf PPL_Seminar_Parma_2004b.ps.gz Log message: Added the four Parma seminars. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

ppl/doc definitions.dox
by Patricia Hill 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-19 15:55:58 Modified files: doc : definitions.dox Log message: This is a start in revising the introductory sections to the manual so as to allow for the inclusion of domains other than that of convex polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/bin ppl_release
by Roberto Bagnara 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-19 14:47:41 Modified files: bin : ppl_release Log message: Fix the modification of the AC_INIT directive. Assume that RPM_DIR is $HOME/rpm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/ppl_release.diff?cvsroo…

1 0

w3ppl/htdocs/Links Links.raw
by Roberto Bagnara 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-19 14:42:01 Modified files: htdocs/Links : Links.raw Log message: Added a link to lrslib. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Links/Links.raw.diff…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: roberto(a)cs.unipr.it 2004-08-19 14:35:17 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: AskTell should not appear in the develper's reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-19 14:34:32 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: AskTell should not appear in the develper's reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/src Widening_Function.defs.hh
by Enea Zaffanella 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_6-branch Changes by: zaffanella(a)cs.unipr.it 2004-08-19 14:13:05 Modified files: src : Widening_Function.defs.hh Log message: Avoided a warning in the devref documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh…

1 0

Re: [PPL-devel] Compiling PPL under Cygwin?
by Roberto Bagnara 19 Aug '04

19 Aug '04

Goran Frehse wrote: > 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, I have just tried a fresh installation of GMP 4.1.3 and PPL 0.6 (just released) on the latest Cygwin distribution. I followed exactly the same procedure I follow on GNU/Linux systems and it worked immediately. I take this as an indication that the problems you experienced some time ago have been solved. 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/src Widening_Function.defs.hh
by Enea Zaffanella 19 Aug '04

19 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-19 14:09:53 Modified files: src : Widening_Function.defs.hh Log message: Avoided a warning in the devref documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh…

1 0