January 2003 - PPL-devel - BUGSENG Mailman

Bignums and the foreign language interface
by Roberto Bagnara 07 Jan '03

07 Jan '03

Hi there, how can bignums be communicated to/from Ciao Prolog? More precisely, since we have $ ciao Ciao-Prolog 1.9 #34: Sat Nov 30 19:17:43 CET 2002 ?- current_prolog_flag(bounded, X). X = false ? yes ?- integers are unbounded. However, the function ciao_term ciao_integer(int i) allows to build only integers that fit in a machine word. The problem with the design of the function int ciao_to_integer(ciao_term term) appears to be more serious, as the C application seems to have no way of detecting whether the conversion was successful or not. It would seem better to define something like int ciao_to_integer(ciao_term term, long* pl) so that 0 is returned if the conversion failed (in which case *pl has not been touched), and a number different from 0 otherwise. Bignums could then be communicated with a pair of functions ciao_get_number_chars() and ciao_put_number_chars(). What do you think? Best wishes to you all 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 4

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-01-07 16:46:54 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: A typo in the Prolog_interface,dox corrected and ppl_Polyhedron_is_disjoint_from_Polyhedron/2 documentation added. Many improvements to pl_check.pl and some bugs fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl configure.ac
by Roberto Bagnara 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-07 16:27:35 Modified files: . : configure.ac Log message: Bump version number. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

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

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-07 15:51:20 Modified files: interfaces/Prolog/XSB: expected expected2 Log message: Update copyright years. 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 NEWS configure.ac
by Roberto Bagnara 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-07 15:18:56 Modified files: . : NEWS configure.ac Log message: We now require GMP 4.1.2 or higher. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.51… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl CREDITS
by Enea Zaffanella 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-07 15:16:17 Modified files: . : CREDITS Log message: Typo corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl ./CREDITS doc/user.tex doc/devref.tex
by Enea Zaffanella 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-07 15:12:46 Modified files: . : CREDITS doc : user.tex devref.tex Log message: The MURST project COFIN01 credited. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p…

1 0

ppl/src Interval.defs.hh Interval.inlines.hh
by Roberto Bagnara 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-01-07 14:25:02 Modified files: src : Interval.defs.hh Interval.inlines.hh Log message: Old kludges removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/tests bhrz03widening9.cc
by Enea Zaffanella 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-07 12:35:25 Modified files: tests : bhrz03widening9.cc Log message: Updated the known result to match the output according to the new limited growth ordering convergence criterion. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhrz03widening9.cc.diff…

1 0

ppl/src globals.hh
by Enea Zaffanella 07 Jan '03

07 Jan '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-01-07 12:30:08 Modified files: src : globals.hh Log message: Do not output statistics by default. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.hh.diff?cvsroot=p…

1 0