October 2004 - PPL-devel - BUGSENG Mailman

ppl/src checked_int.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 12:11:26 Modified files: src : checked_int.inlines.hh Log message: Removed unused code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

GNU Prolog bug report: `gplc' ignores the `--c-compiler' option
by Roberto Bagnara 02 Oct '04

02 Oct '04

Please do not be scared by the long `gplc' command line after the signature. Just notice that 1) we pass the option `--c-compiler /usr/local/bin/c++' to `gplc'; 2) despite that, in the linking phase, `gplc' uses `gcc' to perform the job. If anyone has a patch for this, we would appreciate very much hearing about it. 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 $ gplc -v --c-compiler /usr/local/bin/c++ -o ppl_gprolog \ /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl \ .libs/libppl_gprolog.a \ -L '-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmpxx -lgmp' Prolog compiler (GNU Prolog) 1.2.18 By Daniel Diaz Copyright (C) 1999-2004 Daniel Diaz GNU Prolog comes with ABSOLUTELY NO WARRANTY. You may redistribute copies of GNU Prolog under the terms of the GNU General Public License. For more information about these matters, see the files named COPYING. Path used: /usr/local/gprolog-1.2.18 *** Compiling --- file: /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl pl2wam -o /tmp/gplcpuLnmb.wam /home/roberto/ppl/altnum/old/ppl/interfaces/Prolog/GNU/ppl_gprolog.pl wam2ma -o /tmp/gplcEOmByc.ma /tmp/gplcpuLnmb.wam delete /tmp/gplcpuLnmb.wam ma2asm -o /tmp/gplcT8XOKd.s /tmp/gplcEOmByc.ma delete /tmp/gplcEOmByc.ma as -o /tmp/gplc4gknga.o /tmp/gplcT8XOKd.s delete /tmp/gplcT8XOKd.s *** Linking gcc -o ppl_gprolog /usr/local/gprolog-1.2.18/lib/obj_begin.o /tmp/gplc4gknga.o .libs/libppl_gprolog.a -L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmpxx -lgmp /usr/local/gprolog-1.2.18/lib/all_pl_bips.o /usr/local/gprolog-1.2.18/lib/all_fd_bips.o /usr/local/gprolog-1.2.18/lib/top_level.o /usr/local/gprolog-1.2.18/lib/debugger.o /usr/local/gprolog-1.2.18/lib/libbips_fd.a /usr/local/gprolog-1.2.18/lib/libengine_fd.a /usr/local/gprolog-1.2.18/lib/libbips_pl.a /usr/local/gprolog-1.2.18/lib/obj_end.o /usr/local/gprolog-1.2.18/lib/libengine_pl.a /usr/local/gprolog-1.2.18/lib/liblinedit.a -lm delete /tmp/gplc4gknga.o

1 0

ppl/src checked.defs.hh checked_int.inlines.hh ...
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 10:42:30 Modified files: src : checked.defs.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Use a typedef for pointer to C strings. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 08:42:35 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh checked_int.inlines.hh checked_mpq.inlines.hh checked_mpz.inlines.hh Log message: Added constructors from char *. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpq.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/interfaces/Prolog/SICStus ppl_sicstus_sd.cc
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 08:41:23 Modified files: interfaces/Prolog/SICStus: ppl_sicstus_sd.cc Log message: Attempt to fix compilation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/ppl…

1 0

ppl ./NEWS ./TODO ./compile ./config.guess ./c ...
by Roberto Bagnara 01 Oct '04

01 Oct '04

1 0

Recent changes to the main trunk
by Roberto Bagnara 01 Oct '04

01 Oct '04

Dear all, I just wanted to share with you the satisfaction for the speedup achieved thanks to the recent changes to the (CVS mainline version of the) library. The analysis of Prolog interargument size (polyhedral) relations with China over its entire testsuite passed from a total of 255 seconds of CPU time to just 169. This amounts to an average speedup of 34%. Keep up the good work. 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

1 0