January 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 Matrix.cc
by Roberto Bagnara 31 Jan '03

31 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-31 21:53:37 Modified files: src : Matrix.cc Log message: Fixed a very serious performance bug in Matrix::add_pending_rows() whereby adding one row to a matrix with `n' rows had complexity O(n) instead of amortized constant. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog/XSB expected expected2
by Roberto Bagnara 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-27 13:35:13 Modified files: interfaces/Prolog/XSB: expected expected2 Log message: Adapted to the new normal form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/expecte…

1 0

ppl ./configure.ac interfaces/Prolog/expected ...
by Enea Zaffanella 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-27 11:02:45 Modified files: . : configure.ac interfaces/Prolog: expected expected2 src : Row.cc Row.defs.hh Log message: Modified strong normalization of rows, so that the first *homogeneous* coefficient is required to be positive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-27 10:56:55 Modified files: src : Polyhedron.cc Log message: Removed no longer used preprocessing flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Matrix.cc Matrix.defs.hh
by Enea Zaffanella 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-27 10:54:47 Modified files: src : Matrix.cc Matrix.defs.hh Log message: Added private method Matrix::gram_shmidt() to orthogonalize a matrix so that its rays/points/inequalities have a unique representation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src conversion.cc simplify.cc minimize.cc
by Enea Zaffanella 27 Jan '03

27 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-27 10:51:45 Modified files: src : conversion.cc simplify.cc minimize.cc Log message: Adjusted a few comments that became outdated after the merge with the lazy branch. Removed a couple of FIXME's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/Watchdog Watchdog.cc
by Roberto Bagnara 26 Jan '03

26 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-26 22:02:41 Modified files: Watchdog : Watchdog.cc Log message: Ported to Cygwin (it only supports ITIMER_REAL). Robustness increased. Throw std:runtime_error exceptions instead of calling exit(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs…

1 0

ppl/src ConSys.defs.hh GenSys.defs.hh Polyhedr ...
by Enea Zaffanella 24 Jan '03

24 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-24 18:46:37 Modified files: src : ConSys.defs.hh GenSys.defs.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.cc Log message: Equality test between polyhedra improved to first perform a few fast-fail checks, including a complete test for representations in normal form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 24 Jan '03

24 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-24 10:46:56 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Added private method void select_CH78_constraints(const Polyhedron& y, ConSys& cs) const; performing a constraint selection from y.con_sys according to the definition of the widening as reported in Cousot&Halbwachs78. 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/src/Polyhedron.defs.hh.diff?c…

1 0