August 2004 - PPL-devel - BUGSENG Mailman

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

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 10:56:12 Modified files: interfaces/Prolog: pl_check.pl Log message: Tests for adding and removing dimensions now include cases where no dimensions are added or removed and also when all the dimensions are removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl…

1 0

ppl/doc definitions.dox
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 10:38:43 Modified files: doc : definitions.dox Log message: The descriptions of the add and remove dimensions operators improved. The description of the concatenate operation moved to just before the description of the add dimensions operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl ./NEWS ./configure.ac doc/Makefile.am
by Roberto Bagnara 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-17 10:30:49 Modified files: . : NEWS configure.ac doc : Makefile.am Log message: The documentation for users, in PostScript, PDF and HTML formats, is now installed in a standard place by `make install'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.97… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/src Determinate.defs.hh
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 09:49:42 Modified files: src : Determinate.defs.hh Log message: Small improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Determinate.defs.hh.diff?…

1 0

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

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 09:48:51 Modified files: doc : definitions.dox Log message: Added a section on constructions on polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedra_PowerSet.defs.hh
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 09:48:17 Modified files: src : Polyhedra_PowerSet.defs.hh Log message: Started documenting the widening operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h…

1 0

ppl/src H79_Certificate.defs.hh H79_Certificat ...
by Enea Zaffanella 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-17 09:46:39 Modified files: src : H79_Certificate.defs.hh H79_Certificate.inlines.hh H79_Certificate.cc BHRZ03_Certificate.defs.hh BHRZ03_Certificate.inlines.hh Log message: H79_Certificate simplified by removing useless methods. The documentation of BHRZ03_Certificate method is_stabilizing() now only appears in the developers manual. Both classes now appear in the user manual, as they provide documentation of the method needed by any new certificate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BHRZ03_Certificate.inline…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 09:39:40 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Several minor "English" corrections and some cross references improved or added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/doc definitions.dox
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 09:37:41 Modified files: doc : definitions.dox Log message: An anchor has been added and minor English improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/tests bhz03widening3.cc bhz03widening6.cc ...
by Patricia Hill 17 Aug '04

17 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-17 08:05:48 Modified files: tests : bhz03widening3.cc bhz03widening6.cc boundingbox2.cc boundingbox4.cc Log message: Comments revised in boundinbox2.cc and boundingbox4.cc. Known result in bhz03widening3.cc added and checked. New test added to bhz03widening6.cc for the case when the multiset ordering wrt the lgo is converging. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening3.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening6.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox2.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/boundingbox4.cc.diff?cv…

1 0