December 2002 - PPL-devel - BUGSENG Mailman

CVS tag event: /cvs/ppl/ppl/Watchdog
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/Watchdog Tag: before_lazy_merge Operation: add Date: 2002-12-03 18:36:36 Tagged-By: roberto File: .cvsignore Revision: 1.3 File: BUGS Revision: 1.1 File: COPYING Revision: 1.1 File: CREDITS Revision: 1.1 File: ChangeLog Revision: 1.2 File: INSTALL Revision: 1.1 File: Makefile.am Revision: 1.5 File: NEWS Revision: 1.1 File: README Revision: 1.3 File: Watchdog.cc Revision: 1.6 File: Watchdog.defs.hh Revision: 1.8 File: Watchdog.inlines.hh Revision: 1.6 File: Watchdog.types.hh Revision: 1.2 File: config.guess Revision: 1.1 File: config.h.in Revision: 1.3 File: config.sub Revision: 1.1 File: configure.ac Revision: 1.13 File: depcomp Revision: 1.1 File: install-sh Revision: 1.1 File: ltmain.sh Revision: 1.1 File: missing Revision: 1.1 File: mkinstalldirs Revision: 1.1 File: pwl_filter_doxygen.sed Revision: 1.1 File: pwl_filter_install.sed Revision: 1.1 File: pwl_header.bottom Revision: 1.1 File: pwl_header.middle Revision: 1.2 File: pwl_header.top Revision: 1.2

1 0

CVS tag event: /cvs/ppl/ppl/interfaces
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/interfaces Tag: before_lazy_merge Operation: add Date: 2002-12-03 18:36:36 Tagged-By: roberto File: .cvsignore Revision: 1.1 File: Makefile.am Revision: 1.5

1 0

CVS tag event: /cvs/ppl/ppl/doc
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl/doc Tag: before_lazy_merge Operation: add Date: 2002-12-03 18:36:36 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

CVS tag event: /cvs/ppl/ppl
by Roberto Bagnara 03 Dec '02

03 Dec '02

Repository: /cvs/ppl/ppl Tag: before_lazy_merge Operation: add Date: 2002-12-03 18:36:36 Tagged-By: roberto File: .cvsignore Revision: 1.6 File: BUGS Revision: 1.2 File: COPYING Revision: 1.2 File: CREDITS Revision: 1.3 File: ChangeLog Revision: 1.10 File: INSTALL Revision: 1.4 File: Makefile.am Revision: 1.20 File: NEWS Revision: 1.49 File: README Revision: 1.12 File: STANDARDS Revision: 1.8 File: TODO Revision: 1.27 File: acinclude.m4 Revision: 1.3 File: config.guess Revision: 1.13 File: config.h.in Revision: 1.22 File: config.sub Revision: 1.12 File: configure.ac Revision: 1.76 File: depcomp Revision: 1.3 File: install-sh Revision: 1.3 File: ltmain.sh Revision: 1.8 File: missing Revision: 1.5 File: mkinstalldirs Revision: 1.5 File: ppl.lsm.in Revision: 1.3 File: ppl.spec.in Revision: 1.16

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 03 Dec '02

03 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-12-03 11:09:20 Modified files: src : Polyhedron.cc Log message: Fixed a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:48:11 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: A whole pass on the code of the class, trying to use the new methods defined for the handling of pending rows; also tried to provide more uniform comments and to avoid useless reordering of rows when invoking add_and_minimize(). 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/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:46:01 Modified files: src : GenSys.cc Log message: Modified methods add_corresponding_points() and add_corr_closure_points() to rely on the caller for the management of pending rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:43:50 Modified files: src : ConSys.cc Log message: Modified method adjust_topology_and_dimensions() to rely on the caller for the management of pending rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.defs.hh minimize.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:40:10 Modified files: src : Polyhedron.defs.hh minimize.cc Log message: Provided slightly better names for methods dealing with pending rows. Modified the assertions for the two methods named add_and_minimize(...) and added new documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src conversion.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:36:14 Modified files: src : conversion.cc Log message: No longer using flag KEEP_SOURCE_SORTEDNESS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0