January 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/XSB ppl_xsb.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 18:50:39 Modified files: interfaces/Prolog/XSB: ppl_xsb.cc Log message: Two FIXMEs turned into TODOs: we can do nothing about them until the XSB people fix their header file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb…

1 0

ppl/interfaces/Prolog/GNU ppl_gprolog_sd.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 18:42:49 Modified files: interfaces/Prolog/GNU: ppl_gprolog_sd.cc Log message: Two FIXMEs turned into TODOs: we can do nothing about them until the GNU Prolog people fix their header file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/ppl_gpr…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 18:42:29 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Two FIXMEs turned into TODOs: we can do nothing about them until the Ciao people fix their header file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 18:41:18 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Two FIXME's resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

gprolog.h and const correctness
by Roberto Bagnara 14 Jan '06

14 Jan '06

To the next maintainer of GNU Prolog: please consider revising gprolog.h so as to facilitate users who insist in writing const-correct code. For instance, the declaration int FC Create_Allocate_Atom(char *name); should probably be changed so as to read int FC Create_Allocate_Atom(const char *name); Thanks in advance (I hope not too much advance :-) 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

ciao_put_number_chars() and const correctness
by Roberto Bagnara 14 Jan '06

14 Jan '06

Hi there, I was wondering why ciao_put_number_chars() in Ciao 1.10#6 is declared as ciao_term ciao_put_number_chars(char *number_string); and not as ciao_term ciao_put_number_chars(const char *number_string); I mean: ciao_put_number_chars() does not modify the parameter, does 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

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 18:11:54 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Two FIXMEs resolved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl TODO
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 17:52:11 Modified files: . : TODO Log message: We are well under 40 FIXMEs. For PPL 0.9 the objective is to go below 20. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.17…

1 0

ppl/doc user.doxyconf-html.in user.doxyconf-la ...
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 17:45:51 Modified files: doc : user.doxyconf-html.in user.doxyconf-latex.in Log message: Added PPL_SPECIALIZE_LIMITS_INT and PPL_SPECIALIZE_LIMITS_FLOAT to EXPAND_AS_DEFINED. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-latex.in.di…

1 0

ppl STANDARDS
by Roberto Bagnara 14 Jan '06

14 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-01-14 17:42:18 Modified files: . : STANDARDS Log message: Extended the section on limiting the visibility of everything. Some material that was in the section about macros has been moved here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0