February 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 news.raw ppl.raw Documentation/bi ...
by Roberto Bagnara 26 Feb '03

26 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-26 19:23:52 Modified files: htdocs : news.raw ppl.raw htdocs/Documentation: bibliography.raw Log message: "Precise Widening Operators for Convex Polyhedra" announced. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/biblio…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 26 Feb '03

26 Feb '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-02-26 19:04:09 Modified files: htdocs/Documentation: ppl.bib Log message: Entry for Quaderno 312 completed. Abstract for Quaderno 305 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl doc/devref-browse.doxyconf-latex.in doc/de ...
by Roberto Bagnara 24 Feb '03

24 Feb '03

1 0

ppl/src Init.cc Makefile.am Polyhedron.cc glob ...
by Enea Zaffanella 24 Feb '03

24 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-24 16:59:34 Modified files: src : Init.cc Makefile.am Polyhedron.cc globals.cc globals.hh Added files: src : Statistics.hh Log message: Removed from globals.hh and globals.cc all the stuff related to statistics and placed into Statistics.hh; modified Polyhedron.cc and Init.cc accordingly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Statistics.hh?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Init.cc.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0

ppl/tests bhrz03widening2.cc limitedbhrz03wide ...
by Enea Zaffanella 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-23 21:52:14 Modified files: tests : bhrz03widening2.cc limitedbhrz03widening1.cc Log message: Restored expected result after correction on evolving points technique. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening2.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/limitedbhrz03widening1.…

1 0

ppl src/Polyhedron.cc tests/Makefile.am tests/ ...
by Enea Zaffanella 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-02-23 20:01:23 Modified files: src : Polyhedron.cc tests : Makefile.am bhrz03widening3.cc Log message: Improved is_BHRZ03_stabilizing to always avoid considering the low-level constraints when comparing the number of constraints. As a consequence, changed back the known result of test bhrz03widening3. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening3.cc.diff…

1 0

ppl TODO
by Roberto Bagnara 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-23 16:49:55 Modified files: . : TODO Log message: Remember to comment uncommented classes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.30…

1 0

ppl/doc devref.tex user.tex
by Roberto Bagnara 23 Feb '03

23 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-23 09:28:03 Modified files: doc : devref.tex user.tex Log message: Thank the CoVer project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl/src conversion.cc
by Roberto Bagnara 22 Feb '03

22 Feb '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-02-22 22:06:28 Modified files: src : conversion.cc Log message: Two FIXMEs dealt with and removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0