August 2002 - PPL-devel - BUGSENG Mailman

ppl/src BoundingBox.types.hh C_Polyhedron.type ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

1 0

ppl/src AskTell.defs.hh AskTell.inlines.hh Ask ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

1 0

ppl/interfaces C/ppl_c.h Prolog/XSB/ppl_xsb.cc ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-11 15:37:45 Modified files: interfaces/C : ppl_c.h interfaces/Prolog/XSB: ppl_xsb.cc interfaces/Prolog/YAP: ppl_yap.cc Log message: Comment the closing brace of `extern "C"' blocks. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_xsb… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/src ConSys.defs.hh Constraint.defs.hh GenS ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

1 0

ppl STANDARDS
by Roberto Bagnara 11 Aug '02

11 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-11 15:19:14 Modified files: . : STANDARDS Log message: Add rules concerning block closures and namespace indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/src Determinate.defs.hh Determinate.inline ...
by Roberto Bagnara 11 Aug '02

11 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-11 11:11:27 Modified files: src : Determinate.defs.hh Determinate.inlines.hh PowerSet.defs.hh PowerSet.inlines.hh Log message: Added methods add_dimensions_and_project(), add_dimensions_and_embed(), remove_dimensions(), and remove_higher_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl ./configure.ac interfaces/C/Makefile.am sr ...
by Roberto Bagnara 10 Aug '02

10 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-10 19:35:50 Modified files: . : configure.ac interfaces/C : Makefile.am src : Makefile.am Log message: Bump version numbers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/doc .cvsignore
by Roberto Bagnara 10 Aug '02

10 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-10 19:24:02 Modified files: doc : .cvsignore Log message: For those building in the sources directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/.cvsignore.diff?cvsroot=p…

1 0

ppl/interfaces/Prolog/XSB Makefile.am
by Roberto Bagnara 10 Aug '02

10 Aug '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-08-10 14:13:51 Modified files: interfaces/Prolog/XSB: Makefile.am Log message: Allow building in any directory (included the one containing the sources). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil…

1 0

A couple of standard issues
by Roberto Bagnara 10 Aug '02

10 Aug '02

Hi there, I have finally managed to produce a working XSB interface for the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) Apart from the problems I have already reported, I had to get around the following limitations of XSB: 1) The standard streams `user_input' and `user_output' are missing. I had to use the following ugly hack: #define user_input user #include "source_using_user_input" A better solution is welcome, of course. 2) The flush_output/1 standard predicate is missing. In my case I have to flush only the `user_output' stream. So, temporarily, I am using the following horrible hack: :- import file_flush/2 from file_io. flush_output(user_output) :- file_flush(0, _). I look forward to the new releases of XSB. All the best, and thanks for your help 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