November 2002 - PPL-devel - BUGSENG Mailman

CVS tag event: /cvs/ppl/ppl/doc
by Roberto Bagnara 19 Nov '02

19 Nov '02

Repository: /cvs/ppl/ppl/doc Tag: separate_pending_OK Operation: add Date: 2002-11-19 14:04:33 Tagged-By: roberto File: .cvsignore Revision: 1.2 File: Makefile.am Revision: 1.20 File: bib2dox Revision: 1.2 File: bib2html1.sed Revision: 1.1 File: bib2html2.sed Revision: 1.1 File: definitions.dox Revision: 1.103 File: devref-browse.doxyconf-latex.in Revision: 1.23 File: devref-print.doxyconf-latex.in Revision: 1.23 File: devref.doxyconf-html.in Revision: 1.24 File: devref.tex Revision: 1.7 File: fdl.dox Revision: 1.2 File: fdl.tex Revision: 1.1 File: gpl.dox Revision: 1.3 File: gpl.tex Revision: 1.1 File: ppl.sty Revision: 1.10 File: user-browse.doxyconf-latex.in Revision: 1.13 File: user-print.doxyconf-latex.in Revision: 1.13 File: user.doxyconf-html.in Revision: 1.15 File: user.tex Revision: 1.8

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 17 Nov '02

17 Nov '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-11-17 11:56:47 Modified files: htdocs/Credits : Credits.raw Log message: Alessandro Zaccagnini added to the list of people providing help on theoretical issues. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

w3ppl/htdocs Credits/Credits.raw Download/Down ...
by Roberto Bagnara 17 Nov '02

17 Nov '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-11-17 09:31:12 Modified files: htdocs/Credits : Credits.raw htdocs/Download: Download.raw Log message: Minor adjustments and corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl/tests Makefile.am intersection2.cc randphu ...
by Roberto Bagnara 15 Nov '02

15 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-15 16:24:01 Modified files: tests : Makefile.am intersection2.cc randphull1.cc Added files: tests : randphull2.cc Log message: New test computing random polytopes by generating points on the surface of an n-dimensional sphere. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull2.cc?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/intersection2.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsr…

1 0

ppl/interfaces/Prolog pl_check.pl ppl_prolog.icc
by Patricia Hill 15 Nov '02

15 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-11-15 12:58:16 Modified files: interfaces/Prolog: pl_check.pl ppl_prolog.icc Log message: Bug in term_to_complexity_class/2 corrected (a_empty changed to a_any). Tests for ppl_Polyhedron_get_bounding_box/3 added to pl_check.pl. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/pl_check.pl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

ppl/src Matrix.cc Matrix.defs.hh Matrix.inlines.hh
by Elisa Ricci 15 Nov '02

15 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-15 12:31:45 Modified files: src : Matrix.cc Matrix.defs.hh Matrix.inlines.hh Log message: Started to insert the pending system into the matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Enea Zaffanella 15 Nov '02

15 Nov '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2002-11-15 10:31:02 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraHZ02TR will appear as Quaderno 305. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 15 Nov '02

15 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-11-15 09:17:01 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Added documentation for the complexity classes allowed in ppl_Polyhedron_get_bounding_box/3 Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/src Polyhedron.inlines.hh
by Elisa Ricci 14 Nov '02

14 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-14 10:30:02 Modified files: src : Polyhedron.inlines.hh Log message: Erased a repeated comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl src/Polyhedron.cc tests/topclosure4.cc
by Elisa Ricci 14 Nov '02

14 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-14 10:14:37 Modified files: src : Polyhedron.cc tests : topclosure4.cc Log message: Improved Polyhedron::topological_closure_assign() in the case that the polyhedron has pending constraints. Typo fixed in the test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/topclosure4.cc.diff?cvs…

1 0