- PPL-devel - BUGSENG Mailman

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

12 Dec '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-12-12 14:58:37 Modified files: src : Polyhedron.cc Log message: Some minor improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

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 22:39:35 Modified files: src : Polyhedron.cc Log message: Bad uses of the negation operator `!' have been fixed. Some comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src SatMatrix.cc 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:10:23 Modified files: src : SatMatrix.cc SatMatrix.defs.hh Log message: Wrong comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv…

1 0

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