- PPL-devel - BUGSENG Mailman

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

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