- PPL-devel - BUGSENG Mailman

ppl/doc definitions.dox
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 16:16:30 Modified files: doc : definitions.dox Log message: For uniformity, using \cQ instead of \cP' in the section about widening. 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 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 16:11:32 Modified files: doc : definitions.dox Log message: Improved the section about addition/removal of space dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 16:10:15 Modified files: src : Polyhedron.defs.hh Log message: The documentation for the swap function on Polyhedron objects now appears in the user manuals too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Polyhedron.types.hh
by Roberto Bagnara 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-25 15:15:41 Modified files: src : Polyhedron.types.hh Log message: Added comments to `namespace std'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.types.hh.diff?…

1 0

ppl/doc definitions.dox
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 15:07:49 Modified files: doc : definitions.dox Log message: Added more on an affine preimage. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl Watchdog/.cvsignore src/.cvsignore tests/. ...
by Roberto Bagnara 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-25 15:03:54 Modified files: Watchdog : .cvsignore src : .cvsignore tests : .cvsignore Log message: For those building in the sources' directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/.cvsignore.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/.cvsignore.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/.cvsignore.diff?cvsroot…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 15:01:13 Modified files: doc : definitions.dox Log message: Added formal definition of the time-elapse operator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc definitions.dox
by Patricia Hill 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-25 14:16:30 Modified files: doc : definitions.dox Log message: Changed rows and columns round in the affine paragraph. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl doc/definitions.dox src/Polyhedron.defs.hh
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 14:10:40 Modified files: doc : definitions.dox src : Polyhedron.defs.hh Log message: Adding some references to the introduction to the documentation of operators. 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/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 25 Jun '02

25 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-25 14:09:25 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: No longer including the second part of the introduction in the devref's manuals, since it is not up-to-date. Patches: 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…

1 0