December 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/src ppl_header.bottom ppl_header.top
by Roberto Bagnara 19 Dec '03

19 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-19 14:13:54 Modified files: src : ppl_header.bottom ppl_header.top Log message: Include <cassert> after restoring the status of NDEBUG: this should finally solve the NDEBUG problem. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.bottom.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.top.diff?cvsro…

1 0

CVSROOT taginfo
by Roberto Bagnara 19 Dec '03

19 Dec '03

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2003-12-19 09:10:43 Modified files: . : taginfo Log message: Temporarily disable the reporting of tag operations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/taginfo.diff?cvsroot=ppl&…

1 0

ppl/src ppl_header.middle
by Roberto Bagnara 17 Dec '03

17 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-17 15:34:00 Modified files: src : ppl_header.middle Log message: GCC versions prior to 3.0 are no longer supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ppl_header.middle.diff?cv…

1 0

ppl TODO
by Roberto Bagnara 15 Dec '03

15 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-15 23:42:57 Modified files: . : TODO Log message: See if we can provide some guarantee on the maximum number of times we are calling the methods of the argument of Polyhedron::map_dimensions(const PartialFunction&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.62…

1 0

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 05 Dec '03

05 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-05 11:24:53 Modified files: Watchdog : Watchdog.cc Log message: Do not use the ITIMER_PROF timer when profiling. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl configure.ac
by Roberto Bagnara 05 Dec '03

05 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-05 11:09:05 Modified files: . : configure.ac Log message: Define the symbol `PROFILING' when profiling is enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 04 Dec '03

04 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-12-04 10:02:41 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: The source files for the Status class are now called Ph_Status.*. 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/m4 lib-ld.m4 lib-prefix.m4
by Roberto Bagnara 02 Dec '03

02 Dec '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-12-02 21:11:47 Modified files: m4 : lib-ld.m4 lib-prefix.m4 Log message: Updated from gettext 0.13. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-ld.m4.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/lib-prefix.m4.diff?cvsroot…

1 0