June 2002 - PPL-devel - BUGSENG Mailman

ppl/Watchdog Makefile.am
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 14:47:13 Modified files: Watchdog : Makefile.am Log message: dist-hook goes into the unconditional section. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Makefile.am.diff?cvs…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 14:46:22 Modified files: tests : Makefile.am Log message: Always distribute $(watchdog1_SOURCES). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl interfaces/Prolog/SWI/.cvsignore tests/.cv ...
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 14:01:43 Modified files: interfaces/Prolog/SWI: .cvsignore tests : .cvsignore Log message: For those building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.diff?cvsroot…

1 0

ppl/src NNC_Polyhedron.cc NNC_Polyhedron.defs. ...
by Enea Zaffanella 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-15 13:25:52 Modified files: src : NNC_Polyhedron.cc NNC_Polyhedron.defs.hh Polyhedron.cc Log message: Corrected method Polyhedron::limited_widening_assign to work with NNC polyehdra. Removed the overriding method from NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Constraint.defs.hh
by Enea Zaffanella 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-15 13:23:42 Modified files: src : Constraint.defs.hh Log message: Added comment for construct_eps_geq_zero(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?c…

1 0

ppl/interfaces/C/lpenum .cvsignore
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 12:40:50 Modified files: interfaces/C/lpenum: .cvsignore Log message: For those building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/.cvsignor…

1 0

ppl/interfaces/Prolog Ciao/.cvsignore GNU/.cvs ...
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 12:39:16 Modified files: interfaces/Prolog/Ciao: .cvsignore interfaces/Prolog/GNU: .cvsignore interfaces/Prolog/SWI: .cvsignore interfaces/Prolog/YAP: .cvsignore ppl_yap.cc yap_clpq.pl Log message: Minor changes to YAP support. Changes for those building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/.cvsig… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/.cvsign… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_clp…

1 0

ppl/interfaces/Prolog/SICStus Makefile.am
by Roberto Bagnara 15 Jun '02

15 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-15 12:28:47 Modified files: interfaces/Prolog/SICStus: Makefile.am Log message: Removed ppl_sicstus.pl and sp_clpq.pl from MOSTLYCLEANFILES. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak…

1 0

Parser bug?
by Roberto Bagnara 15 Jun '02

15 Jun '02

Hi there, I believe the following snippet is ISO Prolog (I have checked it with several Prolog systems, just to make sure my reading of the standard was plausible), but YAP 4.3.22 seems to disagree: p :- write('\ Something...\n\ ... and something else.\n'). If there is any workaround I would appreciated very much knowing 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

2 2

Supporting C and C++
by Roberto Bagnara 14 Jun '02

14 Jun '02

Hi there, in order to support both C and C++ compilers, it would be nice to add a conditional `extern "C"' wrapper to c_interface.h. While we are at it, we should probably also add the usual guard against multiple inclusion. The standard way to do that is as follows: #ifndef _Yap_c_interface_h #define _Yap_c_interface_h 1 /* __BEGIN_DECLS should be used at the beginning of the C declarations, so that C++ compilers don't mangle their names. __END_DECLS is used at the end of C declarations. */ #undef __BEGIN_DECLS #undef __END_DECLS #ifdef __cplusplus # define __BEGIN_DECLS extern "C" { # define __END_DECLS } #else # define __BEGIN_DECLS /* empty */ # define __END_DECLS /* empty */ #endif __BEGIN_DECLS put current contents of c_interface.h here __END_DECLS #endif 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

2 1