March 2003 - PPL-devel - BUGSENG Mailman

ppl/src Makefile.am
by Roberto Bagnara 07 Mar '03

07 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-07 15:24:41 Modified files: src : Makefile.am Log message: Old stuff removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl ./NEWS doc/definitions.dox doc/ppl.sty int ...
by Roberto Bagnara 07 Mar '03

07 Mar '03

1 0

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

07 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-07 14:19:58 Modified files: interfaces/Prolog: Prolog_interface.dox doc : definitions.dox Log message: The discussion about eager methods moved from the prolog interface to the introduction (just before the bibliography). 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/doc/definitions.dox.diff?cvsr…

1 0

ppl ./NEWS ./TODO interfaces/C/ppl_c.cc interf ...
by Roberto Bagnara 07 Mar '03

07 Mar '03

1 0

ppl/doc definitions.dox devref-browse.doxyconf ...
by Enea Zaffanella 07 Mar '03

07 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2003-03-07 11:35:20 Modified files: doc : definitions.dox devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in user-browse.doxyconf-latex.in user-print.doxyconf-latex.in user.doxyconf-html.in Log message: Updated Doxygen configuration files to version 1.3-rc3-20030223. Small typo fixed in definitions.dox. 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/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-browse.doxyconf-late… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-print.doxyconf-latex… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.doxyconf-html.in.dif…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 07 Mar '03

07 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2003-03-07 11:30:56 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Predicate ppl_Polyhedron_shuffle_dimensions/2 now fails when given a non-injective function. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/tests CbecomesNNC1.cc NNCinclusion1.cc NNC ...
by Roberto Bagnara 07 Mar '03

07 Mar '03

1 0

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

07 Mar '03

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2003-03-07 09:07:20 Modified files: interfaces/Prolog: Prolog_interface.dox pl_check.pl Log message: Added documentation and tests for the new Prolog interface predicates ppl_Polyhedron_generalized_affine_image/5 and ppl_Polyhedron_generalized_affine_image_lhs_rhs/4. 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/tests append1.cc permute.cc shuffledim1.cc
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 22:10:46 Modified files: tests : append1.cc permute.cc shuffledim1.cc Log message: Return 1 on failure. 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/permute.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

ppl/interfaces/C ppl_c.h
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 21:48:27 Modified files: interfaces/C : ppl_c.h Log message: Avoid using `//' comments, since they are not in C89. Let the multiple inclusion guard be external to everything. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…

1 0