October 2002 - PPL-devel - BUGSENG Mailman

ppl/tests Makefile.am linearpartition2.cc line ...
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 19:19:34 Modified files: tests : Makefile.am Added files: tests : linearpartition2.cc linearpartition3.cc Log message: Test linear_partition() with two disjoint polyhedra and with two telescopic polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition2.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/linearpartition3.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 19:18:45 Modified files: src : algorithms.hh Log message: Relax the limitations of linear_partition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Polyhedron.cc
by Enea Zaffanella 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-06 18:15:07 Modified files: src : Polyhedron.cc Log message: Many (small) improvements in the implementation of the 2nd technique of BBRZ02_widening_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/doc definitions.dox
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 10:36:40 Modified files: doc : definitions.dox Log message: Bibliography added (perhaps not at the right place). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/doc bib2dox bib2html2dox.sed
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 10:34:35 Added files: doc : bib2dox bib2html2dox.sed Log message: A tool to convert a BibTeX file into something suitable for inclusion into the Doxygen documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2dox?cvsroot=ppl&rev=1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/bib2html2dox.sed?cvsroot=…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 10:15:04 Modified files: htdocs/Documentation: ppl.bib Log message: Dantzig63 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

w3ppl/htdocs/Documentation Makefile
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 09:42:54 Modified files: htdocs/Documentation: Makefile Log message: Adapt to the new version of bibtex2html. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

ppl/src algorithms.hh
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 09:26:38 Modified files: src : algorithms.hh Log message: Comment slightly improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 09:25:58 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Include `algorithms.hh' in the sources used to create the developer's reference manual. 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

ppl/doc definitions.dox
by Roberto Bagnara 06 Oct '02

06 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-06 09:24:52 Modified files: doc : definitions.dox Log message: Use the condition `Include_Implementation_Details' instead of `Implementation_Info'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0