October 2004 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs ppl.raw
by Roberto Bagnara 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-10-26 18:22:11 Modified files: htdocs : ppl.raw Log message: Developer's jump station added to the main web page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl/src ConSys.cc GenSys.cc
by Enea Zaffanella 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-26 18:12:46 Modified files: src : ConSys.cc GenSys.cc Log message: Try to correctly deal with systems having no rows and possibly 0 columns. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/interfaces/Prolog GNU/Makefile.am tests/Ma ...
by Roberto Bagnara 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-26 17:59:08 Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/tests: Makefile.am Added files: interfaces/Prolog/tests: check_script2_int8 Log message: Temporary kludge to avoid GNU Prolog's syntax errors when using clpq2 with checked-int8 coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/check… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makef…

1 0

ppl/interfaces/Prolog/SWI pl_clpq.pl
by Patricia Hill 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-10-26 14:34:05 Modified files: interfaces/Prolog/SWI: pl_clpq.pl Log message: Temporary work-around to avoid a problem with the Prolog prompt whenusing SWI-Prolog. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq…

1 0

ppl/doc devref.tex user.tex
by Roberto Bagnara 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-26 12:16:32 Modified files: doc : devref.tex user.tex Log message: Use \renewcommand{\footrulewidth}{0.4pt} instead of \setlength{\footrulewidth}{0.4pt}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl TODO
by Enea Zaffanella 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-26 10:17:08 Modified files: . : TODO Log message: The last XFAILS has been dealt with (the only XFAILS remaining are those related to checked integers). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.10…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-26 10:09:23 Modified files: doc : definitions.dox Log message: Typo corrected. Also stressed that NNC polyhedra have to be used only when actually needed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl tests/addgenerators11.cc tests/exceptions2 ...
by Enea Zaffanella 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-26 10:07:30 Modified files: tests : addgenerators11.cc exceptions2.cc Makefile.am . : NEWS Log message: Test addgenerators11 is no longer in the XFAIL list. Modified test2() in exceptions2.cc so as to no longer guard against an unwanted exception. While at it, reordered the tests in Makefile.am so as to follow the alphabetical order. The corrected bug announced in the NEWS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/addgenerators11.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/exceptions2.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.11…

1 0

ppl/src GenSys.defs.hh GenSys.cc
by Enea Zaffanella 26 Oct '04

26 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-10-26 10:04:03 Modified files: src : GenSys.defs.hh GenSys.cc Log message: Private mathod bool GenSys::has_closure_points() const; now behaves assuming the point of view of the user, i.e., disregarding those closure points that are matched by corresponding points. Fixed a bug in private method void GenSys::adjust_topology_and_space_dimension(...); whereby an unwanted exception was thrown when converting an NNC generator system into a C generator system. This correction also makes test addgenerators11 behave correctly (i.e., no longer XFAILS). Patches: 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/GenSys.cc.diff?cvsroot=pp…

1 0

[Fwd: Re: Giant bug in XSB 2.6?]
by Roberto Bagnara 25 Oct '04

25 Oct '04

-------- Original Message -------- Subject: Re: Giant bug in XSB 2.6? Date: Mon, 25 Oct 2004 19:49:36 +0200 From: Bart Demoen <bmd(a)cs.kuleuven.ac.be> Organization: KULeuvenNet Newsgroups: comp.lang.prolog References: <kj9fd.310$Es2.5119(a)twister2.libero.it> Roberto Bagnara wrote: > > Still on the theme "nigthmares about Prolog arithmetics", > can anyone reproduce this (rather incredible) behavior? > [...] > If this is confirmed as a bug, does anyone know if there is > a workaround that is general enough? It is a confirmed "feature" since at least 8 years :-) If I remember well, the workaround is to put every call to is/2 inside a metacall. > While we are at it, do you know if XSB is still actively > maintained? AFAIK, it is still actively maintained, but the priorities are not what you might think. As for the bug you stumbled on: since many years it is known that there is a problem; it is probably not difficult to fix it (fixing it is almost trivial I think) but nobody really familiar with the maintenance of the XSB compiler cares enough to fix it. Cheers Bart Demoen -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0