June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog clpq2.pl SICStus/sp_clpq.pl
by Roberto Bagnara 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 14:46:08 Modified files: interfaces/Prolog: clpq2.pl Log message: Avoid defining append/3 and member/2, since they are defined as built-ins or provided as library predicates by any supported Prolog implementation (SWI-Prolog seems to be annoyed if a user program tries to redefine them). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di… Modified files: interfaces/Prolog/SICStus: sp_clpq.pl Log message: Import append/3 and member/2 from library(lists). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_…

1 0

Sorry: I had to
by Roberto Bagnara 19 Jun '02

19 Jun '02

Dear all, the official version of libtool we were using had bugs that prevented us from successfully running `make check' in the interfaces/Prolog directory, on systems where the PPL was not already installed. For this reason I had to switch to the CVS version of libtool. More info on http://www.gnu.org/software/libtool/libtool.html . If you have problems, go there and upgrade your sysyem. Let me know if problems persist. 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 ltmain.sh
by Roberto Bagnara 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 14:34:31 Modified files: . : ltmain.sh Log message: Upgraded from the CVS version of libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ltmain.sh.diff?cvsroot=ppl&r1…

1 0

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

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 14:31:09 Modified files: interfaces/Prolog/SICStus: Makefile.am sp_clpq.pl Log message: Use the 2nd CLP(Q) interpreter for regression testing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_…

1 0

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

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 14:30:34 Modified files: interfaces/Prolog: Makefile.am Log message: Distribute also the tests for strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Makefile.am…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 14:18:55 Modified files: doc : definitions.dox Log message: Changes in the paragraph on the relation-with operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/Prolog GNU/Makefile.am SWI/Make ...
by Roberto Bagnara 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-19 13:56:55 Modified files: interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SWI: Makefile.am Log message: Use the configured version of libtool. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 11:43:38 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Changed the description for the assignment predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc definitions.dox
by Patricia Hill 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-19 11:23:09 Modified files: doc : definitions.dox Log message: A first draft for a paragraph on the relation-with operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 19 Jun '02

19 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-19 10:29:21 Modified files: doc : definitions.dox Log message: Using the macro \nonnegRset in the paragraph defiing extreme rays. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0