February 2004 - PPL-devel - BUGSENG Mailman

ppl/src version.cc version.hh.in
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 22:07:41 Modified files: src : version.cc version.hh.in Log message: New functions: version_major(), version_minor(), version_revision(), and version_beta(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 14:55:00 Modified files: . : configure.ac Log message: Some vertical space added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/interfaces/C ppl_c.h.in lpenum/lpenum.c
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 14:53:39 Modified files: interfaces/C : ppl_c.h.in interfaces/C/lpenum: lpenum.c Log message: New macro PPL_VERSION added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C ppl_c.h.in lpenum/lpenum.c
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 10:25:18 Modified files: interfaces/C : ppl_c.h.in interfaces/C/lpenum: lpenum.c Log message: Started dealing with version checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/interfaces/C Makefile.am ppl_c.cc ppl_c.h. ...
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 09:52:52 Modified files: interfaces/C : Makefile.am ppl_c.cc ppl_c.h.in interfaces/C/lpenum: Makefile.am lpenum.c Log message: New C interface functions ppl_version() and ppl_banner(). Patches: 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/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/Makefile.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/lpenum/lpenum.c.…

1 0

ppl/src version.hh.in
by Roberto Bagnara 03 Feb '04

03 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-03 09:52:02 Modified files: src : version.hh.in Log message: Tell emacs that this is C++. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl ./configure.ac doc/Makefile.am doc/devref- ...
by Roberto Bagnara 03 Feb '04

03 Feb '04

1 0

[Fwd: [ xsb-Bugs-780311 ] Including cinterf.h pollutes the name space]
by Roberto Bagnara 02 Feb '04

02 Feb '04

-------- Original Message -------- Subject: [ xsb-Bugs-780311 ] Including cinterf.h pollutes the name space Date: Mon, 02 Feb 2004 12:34:30 -0800 From: SourceForge.net <noreply(a)sourceforge.net> To: noreply(a)sourceforge.net Bugs item #780311, was opened at 2003-07-30 15:58 Message generated for change (Comment added) made by dwarren You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=780311&group_i… Category: C interface Group: Other >Status: Closed Resolution: None Priority: 5 Submitted By: Roberto Bagnara (bagnara) Assigned to: Nobody/Anonymous (nobody) Summary: Including cinterf.h pollutes the name space Initial Comment: Including cinterf.h causes the definition of macros min() and max(). This is quite likely to clash with user code or other library headers (this happens for my C++ code, in particular). The workaround is to always undefine that macros after including cinterf.h, but I believe a better solution should be implemented in cinterf.h itself. ---------------------------------------------------------------------- >Comment By: David S. Warren (dwarren) Date: 2004-02-02 20:34 Message: Logged In: YES user_id=13069 Fixed. Changed min and max macros to xsb_min and xsb_max to avoid possible name conflicts. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101176&aid=780311&group_i… -- 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/C ppl_c.cc ppl_c.h
by Roberto Bagnara 02 Feb '04

02 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-02 18:38:49 Modified files: interfaces/C : ppl_c.cc ppl_c.h Log message: Now ppl_initialize() and ppl_finalize() return PPL_ERROR_INVALID_ARGUMENT if called when they should not. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/C ppl_c.h
by Roberto Bagnara 02 Feb '04

02 Feb '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-02-02 14:11:25 Modified files: interfaces/C : ppl_c.h Log message: Explain initialization and finalization in the C interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0