September 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 18:41:37 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Initial support for systems where the Parma Watchdog Library is not available. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

ppl/utils timings.cc
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 18:40:22 Modified files: utils : timings.cc Log message: Cater for systems with no clocks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/timings.cc.diff?cvsroot…

1 0

ppl configure.ac
by Roberto Bagnara 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-09-26 18:39:30 Modified files: . : configure.ac Log message: Added checks for the `timeval' type and for the `getrusage' function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-26 13:44:17 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: If the problem is optimizable, then the output of the problem state is subsumed by the output of the optimum value; hence, do output the problem state only if verbosity == 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Enea Zaffanella 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-26 13:33:00 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: A couple of minor corrections in the usage string. Option --version replaced by option --verbosity=LEVEL, taking as argument an integer between 0 and 4 (default 3). The verbosity level is systematically checked before producing output (except for error messages). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0

ppl/demos/ppl_lpsol Makefile.am
by Enea Zaffanella 26 Sep '07

26 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-26 13:27:00 Modified files: demos/ppl_lpsol: Makefile.am Log message: Cleanup should not depend on configuration. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/Makefile.am.d…

1 0

ppl/tests/MIP_Problem Makefile.am mipproblem2. ...
by Enea Zaffanella 25 Sep '07

25 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-25 19:32:37 Modified files: tests/MIP_Problem: Makefile.am mipproblem2.cc Removed files: tests/MIP_Problem: bug1.cc bug2.cc Log message: Tests bug1.cc and bug2.cc were not showing real bugs. Test test01 in miproblem2.cc may also fail with 8bit integer coefficient and assertions disabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/Makefile.am… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem2… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/bug1.cc.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/bug2.cc.dif…

1 0

Re: [PPL-devel] [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB
by paul＠duologues.net 24 Sep '07

24 Sep '07

For most practical problems, this issue can be postponed for a very long time by going to the 64 bit version. Correct? From: Bart Demoen <Bart.Demoen(a)cs.kuleuven.ac.be> Date: 9/24/07 7:17Subject: Re: [Xsb-development] Arithmetic evaluation bug in the CVS HEAD version of XSB > (Bart, do you have a practical example in which it was critical to > have that one, rather special, negative integer? :-). Of course, oodles of them :-) I was just trying to cook up examples that give unexpected behaviour. I had started from a predicate a/2: a(X,Y) :- X < Y . and did queries like ?- a(large_neg_int,large_pos_int), e.g: | ?- a(-2147483647,3). no for instance. What I later pasted in my mail was some sort of abbreviation of some of the queries. I didn't even notice it was showing some different weird behaviour. I now realize that toplevel queries of </2 can behave differently from compiled goals. The problem with compiled </2 is that XSB compiles X < Y to X-Y < 0 (or something like that - when there is (undetected ?) overflow in the -/2, things go wrong. Cheers Bart Demoen ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2005. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Xsb-development mailing list Xsb-development(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/xsb-development

2 1

Re: [PPL-devel] Arithmetic evaluation bug in the CVS HEAD version of XSB
by Roberto Bagnara 24 Sep '07

24 Sep '07

Paul Broome wrote: > As I'm sure you know, the is/2 predicate is nonlogical. This difference is > also in previous versions of XSB. In this instance, there is a simple alternate: > > [broome@localhost bin]$ ./xsb-bits64 > [xsb_configuration loaded] > [sysinitrc loaded] > > XSB Version 3.1 (Incognito) of August 10, 2007 > [x86_64-unknown-linux-gnu; mode: optimal; engine: slg-wam; gc: indirection; > scheduling: local] > > | ?- [user]. > [Compiling user] > side_step_term_as_arithmetic_argument_bug(Term,N) :- > call(N is Term). > end_of_file. > [user compiled, cpu time used: 0.0090 seconds] > [user loaded] > > | ?- side_step_term_as_arithmetic_argument_bug(1+1+1,N). > > N = 3; > > no > | ?- > End XSB (cputime 0.02 secs, elapsetime 74.23 secs) > > > I hope this helps. Dear Paul, thanks for the workaround. However, I don't understand how the fact that the is/2 predicate is nonlogical matters. Do you agree with me that the behavior I indicated witnesses a (big) XSB bug? 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

6 15

ppl/interfaces/Prolog/XSB Makefile.am
by Enea Zaffanella 24 Sep '07

24 Sep '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-09-24 12:27:00 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: The special expected_* files for XSB has been removed, so they are no longer distributed. Also cut away the corresponding FIXME comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0