November 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

ppl TODO
by Roberto Bagnara 19 Nov '03

19 Nov '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-11-19 17:32:38 Modified files: . : TODO Log message: Remember to implement void Polyhedron::envelope_assign(const Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.61…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Patricia Hill 19 Nov '03

19 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2003-11-19 11:44:54 Modified files: htdocs/Documentation: ppl.bib Log message: added reference to Schriver text book. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 19 Nov '03

19 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-19 11:13:02 Modified files: htdocs/Documentation: ppl.bib Log message: Key for NookalaR00 capitalized consistently. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl Makefile.am acinclude.m4
by Roberto Bagnara 12 Nov '03

12 Nov '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-11-12 16:24:36 Modified files: . : Makefile.am Removed files: . : acinclude.m4 Log message: Implement a much simpler way of telling aclocal where to look for `.m4' files (in addition, `sinclude', which we used in `acinclude.m4', is an obsolete name for `m4_include'). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/acinclude.m4.diff?cvsroot=ppl…

1 0

ppl/src globals.hh
by Roberto Bagnara 09 Nov '03

09 Nov '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-11-09 00:01:34 Modified files: src : globals.hh Log message: Comment for compute_capacity() improved. Added an alternative implementation (commented out) characterized a speculation factor of 1.5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 07 Nov '03

07 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-07 17:04:27 Modified files: htdocs : ppl.raw Log message: Old news items removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 07 Nov '03

07 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-07 17:00:51 Modified files: htdocs : news.raw ppl.raw Log message: Wrong link fixed. Use less vertical space. 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/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 07 Nov '03

07 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-07 16:56:33 Modified files: htdocs : news.raw ppl.raw Log message: Announce "Widening Operators for Powerset Domains". 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/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation ppl.bib BagnaraHZ04.pdf
by Roberto Bagnara 07 Nov '03

07 Nov '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-11-07 16:19:18 Modified files: htdocs/Documentation: ppl.bib Added files: htdocs/Documentation: BagnaraHZ04.pdf Log message: BagnaraHZ04 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Bagnar… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0