December 2001 - PPL-devel - BUGSENG Mailman

ppl/src SatMatrix.defs.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 19:05:25 Modified files: src : SatMatrix.defs.hh Log message: Spurious declarations removed: two methods were declared and never used nor implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv…

1 0

ppl/src Matrix.defs.hh Matrix.inlines.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 18:59:42 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Log message: Comments for Matrix::clear() adjusted. Patches: 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

ppl/src SatMatrix.defs.hh SatMatrix.inlines.hh ...
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 18:59:01 Modified files: src : SatMatrix.defs.hh SatMatrix.inlines.hh SatMatrix.cc Log message: SatMatrix::clear() was complete nonsense: rewritten. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot…

1 0

ppl/src Matrix.inlines.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 17:10:05 Modified files: src : Matrix.inlines.hh Log message: Matrix::clear() now releases as much memory as possible. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv…

1 0

ppl/doc devref.tex user.tex
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 16:44:37 Modified files: doc : devref.tex user.tex Log message: People that are no longer contributing or willing to contribute take a back seat (will simplify the publication of the documentation as a technical report). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl…

1 0

ppl/src SatRow.inlines.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 11:21:49 Modified files: src : SatRow.inlines.hh Log message: Much more efficient (and concise) implementation for SatRow::clear_from(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 10:18:36 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Comments added for Polyhedron::remove_higher_dimensions(). 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.defs.hh.diff?c…

1 0

ppl/src Polyhedron.cc
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 09:53:00 Modified files: src : Polyhedron.cc Log message: Polyhedron::Polyhedron(ConSys& cs) improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src Matrix.cc Matrix.defs.hh
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 00:09:38 Modified files: src : Matrix.cc Matrix.defs.hh Log message: Always compile Matrix::check_sorted(). Matrix::OK() fixed: the symbols `cerr' and `endl' live in the `std' namespace. 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…

1 0

ppl/src Matrix.cc Matrix.inlines.hh Polyhedron.cc
by Roberto Bagnara 11 Dec '01

11 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-11 00:04:57 Modified files: src : Matrix.cc Matrix.inlines.hh Polyhedron.cc Log message: A default-constructed (empty) Matrix is now declared as sorted. Matrix::grow() was not handling the `sorted' flag correctly: fixed. Matrix::add_zero_columns() is now an inline method. Matrix::OK() now checks that the `sorted' flag is set only if the matrix is actually sorted. Matrix::add_rows_and_columns() now asserts OK() before returning. Some comments fixed. 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.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0