August 2004 - PPL-devel - BUGSENG Mailman

ppl/src C_Polyhedron.cc Constraint.cc Constrai ...
by Enea Zaffanella 13 Aug '04

13 Aug '04

1 0

ppl NEWS
by Roberto Bagnara 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-12 18:31:40 Modified files: . : NEWS Log message: Mention that a bug has been fixed in Polyhedron::poly_difference_assign(const Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.90…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.i ...
by Patricia Hill 12 Aug '04

12 Aug '04

1 0

ppl/interfaces/Prolog pl_check.pl
by Patricia Hill 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-12 17:42:57 Modified files: interfaces/Prolog: pl_check.pl Log message: Bugs introduced by adding full stops corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-12 17:34:00 Modified files: src : Polyhedron_public.cc Log message: The patch for poly-difference operator seems to be the right solution: CHECKME removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl src/Polyhedron.defs.hh doc/definitions.dox
by Enea Zaffanella 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-12 17:32:19 Modified files: src : Polyhedron.defs.hh doc : definitions.dox Log message: Pedantic correction to the explanation of poly-difference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/interfaces/C ppl_c.h.in
by Enea Zaffanella 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-12 17:30:27 Modified files: interfaces/C : ppl_c.h.in Log message: Simplified comments about poly-hull operators. For the poly-difference, added reference to appropriate section of the manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?…

1 0

ppl TODO README.configure
by Roberto Bagnara 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-12 16:49:30 Modified files: . : TODO README.configure Log message: Explained the basics about configuring GMP and the PPL, as far as selecting the right version of GPM is concerned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.77… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.configure.diff?cvsroot…

1 0

ppl ./TODO doc/definitions.dox
by Enea Zaffanella 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-12 15:52:27 Modified files: . : TODO doc : definitions.dox Log message: Added a paragraph explaining that PPL types should not be used polymorphically. This is at the beginning of section 7 (The library), since it is specific of the C++ language. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.76… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Download requirements.raw
by Roberto Bagnara 12 Aug '04

12 Aug '04

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2004-08-12 15:38:35 Modified files: htdocs/Download: requirements.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0