May 2003 - PPL-devel - BUGSENG Mailman

Bignums
by Roberto Bagnara 14 May '04

14 May '04

Hi there, I believe the following behavior of the CVS version of YAP witnesses a bug (or, quite possible, a misunderstanding on my part): $ yap [ Restoring file /usr/local/lib/Yap/startup ] [ YAP version Yap-4.3.23 ] ?- current_prolog_flag(bounded,X). X = false ? ?- X is 333333333333333, integer(X). no ?- X is 33333333, integer(X). X = 33333333 ? ?- X is 333333333333333, float(X). no ?- X is 333333333333333, number_chars(X,L). X = 333333333333333, L = [51,51,51,51,51,51,51,51,51,51,51,51,51,51,51] ? In words, the Prolog engine first declares it is employing unbounded integers, then it silently converts an integer numeral to... to what? Is this a bug? Am I missing something? 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 5

w3ppl/htdocs/Documentation .cvsignore bibliogr ...
by Roberto Bagnara 25 May '03

25 May '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-05-25 17:45:36 Modified files: htdocs/Documentation: .cvsignore Removed files: htdocs/Documentation: bibliography.raw Log message: bibliography.raw is a generated file: it should not be under CVS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/.cvsig… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

ppl install-sh
by Roberto Bagnara 24 May '03

24 May '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-05-24 21:24:08 Modified files: . : install-sh Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/install-sh.diff?cvsroot=ppl&r…

1 0

Segmentation faults with Ciao 1.9#44
by Roberto Bagnara 22 May '03

22 May '03

Dear Ciao people, one of the problems we faced in our attempt to interface the Parma Polyhedra Library with Ciao Prolog, was a segmentation fault that we temporarily cured, as suggested by Manuel Carro, by inserting `GLOBALSTKSIZE=1000000' into the environment. About one week ago, as a consequence of some improvements we made to the PPL-Ciao interface, another segmentation fault showed up. We thought it could be cured by increasing `GLOBALSTKSIZE' even further, but we were wrong. So we started thinking we had introduced a bug. After a significant amount of debugging work, we have discovered that the new segmentation fault goes away if one leaves `GLOBALSTKSIZE' undefined. In summary, we have two testcases: 1) one bombing if `GLOBALSTKSIZE' is not defined; 2) another one bombing if `GLOBALSTKSIZE' is defined. Does this ring a bell? Do you want us to set up a directory here in Parma so that you can log in and play with the testcases? Cheers, 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

3 2

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 16 May '03

16 May '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-05-16 14:56:54 Modified files: htdocs/Download: requirements.raw Log message: The PPL can be compiled without any problems also with GCC 3.3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl TODO
by Roberto Bagnara 15 May '03

15 May '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-05-15 07:35:40 Modified files: . : TODO Log message: Started drafting a list of enhancements for PPL 0.6. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.53…

1 0

w3ppl/htdocs/Documentation bibliography.raw pp ...
by Roberto Bagnara 15 May '03

15 May '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-05-15 07:15:17 Modified files: htdocs/Documentation: bibliography.raw ppl.bib Log message: BagnaraHRZ03 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/src algorithms.hh
by Enea Zaffanella 07 May '03

07 May '03

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_5-branch Changes by: zaffanella(a)cs.unipr.it 2003-05-07 21:14:50 Modified files: src : algorithms.hh Log message: Functon linear_partition() excluded from the user manual version 0.5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Determinate.defs.hh PowerSet.defs.hh
by Enea Zaffanella 07 May '03

07 May '03

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_5-branch Changes by: zaffanella(a)cs.unipr.it 2003-05-07 21:13:16 Modified files: src : Determinate.defs.hh PowerSet.defs.hh Log message: Determinate and PowerSet template classes excluded from the user manual of version 0.5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs…

1 0

ppl ./STANDARDS doc/devref-browse.doxyconf-lat ...
by Enea Zaffanella 04 May '03

04 May '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-05-04 19:06:31 Modified files: . : STANDARDS doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: In the STANDARDS, explained how the Doxygen documentation of a non-member method has to be related to a templatic class. Added or improved the documentation of Determinate and PowerSet. Let these files be included in the devref manual (they were already in the user manual). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0