August 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 PowerSet.inlines.hh
by Roberto Bagnara 31 Aug '03

31 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-31 23:33:50 Modified files: src : PowerSet.inlines.hh Log message: Correct a mistake in previous change. 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 31 Aug '03

31 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-31 23:05:24 Modified files: src : PowerSet.inlines.hh Log message: PowerSet<CS>::collapse(iterator sink) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/tests bhz03widening2.cc
by Roberto Bagnara 30 Aug '03

30 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-30 13:01:44 Modified files: tests : bhz03widening2.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc.diff?…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Enea Zaffanella 30 Aug '03

30 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-30 12:18:18 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Corrected a bug in pairwise_reduce(), whereby we were marking the wrong polyhedra in the sequence. Corrected a bug in BHZ03_widening_assign(), whereby we were calling BGP99_extrapolation_assign() instead of BGP99_heuristics_assign (the latter does not pairwise-reduce nor collapse the sequence of polyhedra). In the implementation of BGP99_heuristics_assign(), we now take a copy of polyhedron `pi' before computing the base-level widening. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/src PowerSet.inlines.hh
by Enea Zaffanella 30 Aug '03

30 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-08-30 12:14:24 Modified files: src : PowerSet.inlines.hh Log message: In function collapse(const unsigned max_disjuncts), removed the never used iterators sbegin and send. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/tests Makefile.am bhz03widening2.cc
by Roberto Bagnara 30 Aug '03

30 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-30 00:10:00 Modified files: tests : Makefile.am Added files: tests : bhz03widening2.cc Log message: New test for Polyhedra_Powerset<PH>::BHZ03_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl TODO
by Roberto Bagnara 29 Aug '03

29 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-29 17:51:51 Modified files: . : TODO Log message: The name of the `abandon_exponential_computations' variable is now misleading, as we use it also to abandon polynomial computations in the PowerSet domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.58…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 29 Aug '03

29 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-29 17:50:23 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: Method PowerSet::collapse() added. It provides the same functionality as the project() function, which has been removed. 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

ppl/src Polyhedra_PowerSet.defs.hh Polyhedra_P ...
by Roberto Bagnara 29 Aug '03

29 Aug '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-08-29 17:37:36 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Method collapse() reimplemented generically in the PowerSet class. Methods PowerSet<CS>::omega_reduce() and Polyhedra_PowerSet<PH>::concatenate_assign() (which have quadratic complexity) now test the `abandon_exponential_computations' variable and hurry up (giving up precision) if necessary. 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… 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