March 2003 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 06 Mar '03

06 Mar '03

1 0

ppl/src version.hh.in
by Roberto Bagnara 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-06 15:30:21 Modified files: src : version.hh.in Log message: Specify that the beta number is zero for official releases and nonzero for development snapshots. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Enea Zaffanella 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-06 12:52:14 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Improved discussion about *_and_minimize predicates. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src version.hh.in
by Enea Zaffanella 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-06 11:14:26 Modified files: src : version.hh.in Log message: Small correction of module heading. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl doc/definitions.dox doc/fdl.dox doc/gpl.do ...
by Enea Zaffanella 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-06 11:13:52 Modified files: doc : definitions.dox fdl.dox gpl.dox interfaces/Prolog: Prolog_interface.dox interfaces/C : ppl_c.h Log message: Let the licence pages and the documentation of foreign language interfaces be grouped into ``modules'', so as to avoid spreading information in too many places of the user manual. We no longer have a ``PPL pages'' index. 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/fdl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-06 09:43:45 Modified files: interfaces/Prolog: pl_check.pl Log message: Updated the predicate testing the PPL watchdog predicates to use ppl_Polyhedron_swap/2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/interfaces/Prolog Prolog_interface.dox pl_ ...
by Patricia Hill 06 Mar '03

06 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-06 09:25:43 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Added the ppl_Polyhedron_time_elapse_assign/2 to the Prolog documentation and to the tests in pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src version.hh.in
by Enea Zaffanella 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-05 23:53:06 Modified files: src : version.hh.in Log message: Library defines with version info put inside a \defgroup block to have them appear in the user documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/version.hh.in.diff?cvsroo…

1 0

ppl/tests append1.cc append2.cc concatenate1.c ...
by Roberto Bagnara 05 Mar '03

05 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-05 18:13:08 Modified files: tests : append1.cc append2.cc concatenate1.cc permute.cc Log message: Do not use the obsolete operator>>(const Constraint&, unsigned int). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append1.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/append2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/concatenate1.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/permute.cc.diff?cvsroot…

1 0

ppl/interfaces/Prolog ppl_prolog.icc Ciao/ppl_ ...
by Roberto Bagnara 05 Mar '03

05 Mar '03

1 0