September 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/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 23 Sep '03

23 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-23 10:57:20 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Updated for Doxygen 1.3.4. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl ./config.guess ./config.h.in ./config.sub ...
by Roberto Bagnara 10 Sep '03

10 Sep '03

1 0

ppl/src Variable.cc Variable.defs.hh
by Roberto Bagnara 10 Sep '03

10 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-10 18:41:15 Modified files: src : Variable.cc Variable.defs.hh Log message: Pass variables by const reference for uniformity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 08 Sep '03

08 Sep '03

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2003-09-08 16:14:54 Modified files: htdocs/Applications: Applications.raw Log message: Page updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 23:21:36 Modified files: src : PowerSet.inlines.hh Log message: PowerSet<CS>::check_omega_reduced() fixed: now it return false if a bottom element is encountered (even in a singleton). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 23:18:58 Modified files: src : PowerSet.inlines.hh Log message: Modified PowerSet<CS>::omega_reduce() so that all bottom elements are removed first. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 20:15:31 Modified files: src : algorithms.hh Log message: Use Polyhedra_PowerSet<PH>::empty() instead of Polyhedra_PowerSet<PH>::is_bottom(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 20:14:23 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Useless using declarations removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 01 Sep '03

01 Sep '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-09-01 20:13:14 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Method bool PowerSet<CS>::empty() const added. Useless using declarations removed. Added a bool argument to PowerSet<CS>::OK() to decide whether bottom is or not allowed into the powerset. Patches: 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