November 2002 - PPL-devel - BUGSENG Mailman

ppl/src conversion.cc
by Elisa Ricci 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-27 18:10:45 Modified files: src : conversion.cc Log message: Improve the last part of conversion: now we check if the sorted matrix `dest' is really sorted and then we update `index_first_pending' of `dest'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src conversion.cc
by Elisa Ricci 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-27 16:19:12 Modified files: src : conversion.cc Log message: Improved the part in which we update `index_first_pending' of `dest'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Matrix.defs.hh Matrix.cc conversion.cc
by Elisa Ricci 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-27 13:15:30 Modified files: src : Matrix.defs.hh Matrix.cc conversion.cc Log message: Now we have Matrix::add_pending_row(Row::Type type) instead of Matrix::add_row(Row::Type type). This new method does not change `index_first_pending' and does not verify the sortedness of the matrix. Used this new method in conversion. At the end of conversion, we update the sortedness of `dest' and its `index_first_pending'. 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.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src minimize.cc
by Elisa Ricci 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-27 11:45:16 Modified files: src : minimize.cc Log message: When we use add_row(), it sets correctly if the changed matrix is sorted or not: so we do not say in add_and_minimize() that then the vhanged matrix is not sorted. In add_and_minimize(), after adding the new rows to the matrix `source1', we resize the saturation matrix `sat' instead of built a temporary saturation matrix. In add_and_minimize(), also used SatMatrix::transpose() where it is possible instead of SatMatrix::transpose_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/tests shuffledim1.cc
by Elisa Ricci 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-27 11:21:20 Modified files: tests : shuffledim1.cc Log message: Added a test to verify Polyhedron::shuffle_dimensions() in the case that the polyhedron is zero-dimensional. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

ppl/tests shuffledim1.cc
by Elisa Ricci 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-26 17:51:45 Modified files: tests : shuffledim1.cc Log message: Added void print_function() that is used to print a function in this test. Added also other tests to verify Polyhedron::shuffle_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc.diff?cvs…

1 0

ppl/tests print.cc
by Roberto Bagnara 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-26 17:22:33 Modified files: tests : print.cc Log message: Fixed a bug whereby universe polyhedra were sometimes wrongly printed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p…

1 0

ppl/tests Makefile.am PFunction.cc PFunction.h ...
by Roberto Bagnara 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-26 17:07:30 Modified files: tests : Makefile.am Added files: tests : PFunction.cc PFunction.hh shuffledim1.cc Log message: To test Polyhedron::shuffle_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/PFunction.hh?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/shuffledim1.cc?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl/src Polyhedron.cc SatRow.cc SatRow.defs.hh ...
by Roberto Bagnara 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-26 16:17:34 Modified files: src : Polyhedron.cc SatRow.cc SatRow.defs.hh SatRow.inlines.hh conversion.cc simplify.cc Log message: New functions bool subset_or_equal(const SatRow&, const SatRow&) and bool strict_subset(const SatRow&, const SatRow&) replace the misleading overloadings of the comparison operators `<', `<=', `>' and `>=' on SatRow's. 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/SatRow.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src SatRow.cc
by Roberto Bagnara 26 Nov '02

26 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: roberto(a)cs.unipr.it 2002-11-26 10:29:47 Modified files: src : SatRow.cc Log message: From the main trunk: fixed int compare(const SatRow&, const SatRow&), bool operator<=(const SatRow&, const SatRow&), and bool operator<(const SatRow&, const SatRow&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatRow.cc.diff?cvsroot=pp…

1 0