August 2004 - PPL-devel - BUGSENG Mailman

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 14:54:18 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in Log message: The Polyhedra_PowerSet documentation has to appear in the devref manual too. 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…

1 0

ppl/src algorithms.hh Widening_Function.defs.hh
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 14:53:15 Modified files: src : algorithms.hh Widening_Function.defs.hh Log message: Applied the Doxygen \relates command in a couple of places. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Widening_Function.defs.hh…

1 0

ppl/tests bgp99extrapolation1.cc bgp99extrapol ...
by Enea Zaffanella 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 14:52:04 Modified files: tests : bgp99extrapolation1.cc bgp99extrapolation2.cc bhz03widening1.cc bhz03widening2.cc bhz03widening3.cc bhz03widening6.cc Log message: Modified to comply with the new interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bgp99extrapolation2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/bhz03widening2.cc.diff?… 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?…

1 0

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

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2004-08-18 14:51:04 Modified files: src : Polyhedra_PowerSet.defs.hh Polyhedra_PowerSet.inlines.hh Log message: Added doxygen documentation. Removed some methods that are now subsumed by the generic ones. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl/doc README
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 13:24:50 Modified files: doc : README Log message: Last change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&r…

1 0

ppl README
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 13:09:55 Modified files: . : README Log message: Ready for the release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl/doc README
by Patricia Hill 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2004-08-18 13:05:42 Modified files: doc : README Log message: Revised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/README.diff?cvsroot=ppl&r…

1 0

ppl/doc Makefile.am
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 11:51:48 Modified files: doc : Makefile.am Log message: Installation of the documentation now works both for distribution archives and for CVS versions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

ppl/src Polyhedra_PowerSet.inlines.hh
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 11:48:47 Modified files: src : Polyhedra_PowerSet.inlines.hh Log message: Include "Widening_Function.defs.hh" instead of "Widening_Function.types.hh". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_PowerSet.inline…

1 0

ppl TODO
by Roberto Bagnara 18 Aug '04

18 Aug '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-08-18 10:06:14 Modified files: . : TODO Log message: Ready for the release. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.83…

1 0