June 2002 - PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox ppl.sty
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:14:35 Modified files: doc : definitions.dox ppl.sty Log message: Some improvements in the introduction. Redefined the command \vec following llncs.cls. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

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

19 Jun '02

1 0

ppl interfaces/C/ppl_c.cc interfaces/C/ppl_c.h ...
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 08:02:55 Modified files: interfaces/C : ppl_c.cc ppl_c.h src : Polyhedron.defs.hh Log message: Added topological closure test and assignment to the C interface. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/interfaces/Prolog schedule.clpq
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 07:32:55 Modified files: interfaces/Prolog: schedule.clpq Log message: Use a uniform syntax. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/schedule.cl…

1 0

ppl/interfaces/Prolog/YAP 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 07:30:51 Modified files: interfaces/Prolog/YAP: Makefile.am Log message: Checking mechanism fixed (but still commented out). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces/Prolog SWI/Makefile.am check_sc ...
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 07:30:10 Modified files: interfaces/Prolog/SWI: Makefile.am Added files: interfaces/Prolog: check_script2 expected2 Log message: Test also with clpq2.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/check_scrip… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/expected2.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/interfaces/Prolog clpq.pl clpq2.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 07:29:11 Modified files: interfaces/Prolog: clpq.pl clpq2.pl Log message: Improved the query for more solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-18 18:10:44 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Use use_foreign_library/1 instead of use_foreign_source/1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-18 17:47:14 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Indentation fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.pl
by Roberto Bagnara 18 Jun '02

18 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-18 17:45:40 Modified files: interfaces/Prolog/Ciao: ppl_ciao.pl Log message: Declarations completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0