July 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

Re: Integers as bit arrays
by Roberto Bagnara 31 Jul '03

31 Jul '03

Brian Hurt wrote: > The basic functionality I was thinking of implementing was: > - get, set (to 1), clear (to 0), invert individual bits > - get, set, clear, invert ranges of bits > - bitwise operators- and, or, xor, negation > - shifts (already implemented), rotates. It is in fact very useful to use GMP integers as sets of naturals (i.e., the set of their positions containing a bit set to one). For this, the following functionality is desirable: - searching 0 or 1 bits scanning towards less significant bits; - efficiently deciding whether a set of naturals is a (proper or non proper) subset of another. You can look at our code for doing that at http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/~checkout~/ppl/src/SatRow.cc?rev=… 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

2 3

ppl ppl.spec.in
by Roberto Bagnara 30 Jul '03

30 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-30 22:45:28 Modified files: . : ppl.spec.in Log message: Build an RPM package also for the PWL. The Prolog interfaces depend on the PWL. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ppl.spec.in.diff?cvsroot=ppl&…

1 0

ppl/interfaces/Prolog/XSB xsb_clpq.P xsb_clpq2.P
by Roberto Bagnara 30 Jul '03

30 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-30 17:48:56 Modified files: interfaces/Prolog/XSB: xsb_clpq.P xsb_clpq2.P Log message: XSB version 2.6 still does not offer read_term/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_clp…

1 0

ppl/interfaces/Prolog Prolog_interface.dox XSB ...
by Roberto Bagnara 30 Jul '03

30 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-30 17:43:53 Modified files: interfaces/Prolog: Prolog_interface.dox interfaces/Prolog/XSB: .cvsignore Makefile.am ppl_xsb.cc Log message: Removed most of the kludges we had for supporting old versions of XSB. We now only support XSB version 2.6 and following. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl doc/fdl.dox doc/gpl.dox interfaces/Prolog/ ...
by Enea Zaffanella 28 Jul '03

28 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-07-28 08:42:41 Modified files: doc : fdl.dox gpl.dox interfaces/Prolog: Prolog_interface.dox Log message: No longer using Doxygen sectioning commands inside normal documentation blocks (they only work inside \page and \mainpage blocks). Instead, now using \anchor and unnumbered section headings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/fdl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 22 Jul '03

22 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-22 13:52:47 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Ensure omega reductions in the widening and extrapolation methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 22 Jul '03

22 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-22 13:52:16 Modified files: src : PowerSet.inlines.hh Log message: PowerSet::is_top() now asserts this->is_omega_reduced(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 21 Jul '03

21 Jul '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-07-21 22:30:07 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Limited extrapolation operators added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

IntegerAnalysis/strings Makefile
by Roberto Bagnara 20 Jul '03

20 Jul '03

CVSROOT: /cvs/cssv Module name: IntegerAnalysis Changes by: roberto(a)spartacus.cs.unipr.it 03/07/20 23:21:07 Added files: strings : Makefile Log message: Very basic makefile.

1 0