October 2005 - PPL-devel - BUGSENG Mailman

ppl/src checked_int.inlines.hh
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-10-06 12:21:22 Modified files: src : checked_int.inlines.hh Log message: Clip trailing spaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-06 11:56:49 Modified files: src : Congruence_System.cc Log message: In satisfies_all_congruences multiply the modulus by the divisor when the divisor is greater than 1 (was 0). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src GMP_Integer.defs.hh
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-06 11:55:24 Modified files: src : GMP_Integer.defs.hh Log message: Take `inline' out of gcdext declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.defs.hh.diff?…

1 0

ppl/src checked.inlines.hh
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-06 11:54:15 Modified files: src : checked.inlines.hh Log message: In gcdext_generic do the s and t negation only once when the given x and y are negative. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/tests/Grid Makefile.am
by Matthew Mundell 06 Oct '05

06 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-10-06 11:50:42 Modified files: tests/Grid : Makefile.am Log message: Add FAIL_TEST directives for the checked types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src simplex.cc
by Roberto Bagnara 04 Oct '05

04 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-04 23:33:25 Modified files: src : simplex.cc Log message: Do not use conditional expressions with expressions of different type. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 04 Oct '05

04 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-04 22:30:25 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Polyhedra_Powerset<PH>::concatenate_assign() was still buggy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

Patch for Polyhedron::shrink_bounding_box() documentation
by Andrea Pescetti 04 Oct '05

04 Oct '05

You can apply the following patch to improve the documentation of Polyhedron::shrink_bounding_box() as discussed in http://www.cs.unipr.it/pipermail/ppl-devel/2005-July/006191.html Tested with Doxygen 1.4.5. --- patch begin Index: Polyhedron.defs.hh =================================================================== RCS file: /cvs/ppl/ppl/src/Polyhedron.defs.hh,v retrieving revision 1.283 diff -c -d -r1.283 Polyhedron.defs.hh *** Polyhedron.defs.hh 22 Sep 2005 16:08:58 -0000 1.283 --- Polyhedron.defs.hh 4 Oct 2005 20:00:13 -0000 *************** *** 728,733 **** --- 728,741 ---- \param complexity The complexity class of the algorithm to be used. + First, the smallest bounding box \f$B\f$ containing the polyhedron + is computed; then \p box is (destructively) intersected with + \f$B\f$ by using only the methods of Box listed in the + documentation. + + Notice that there is no way <CODE>shrink_bounding_box()</CODE> + can obtain information from the \p box parameter. + The template class Box must provide the following methods, whose return values, if any, are simply ignored. \code --- patch end Yours, Andrea.

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 04 Oct '05

04 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-04 20:27:38 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Fixed a bug Polyhedra_Powerset<PH>::concatenate_assign() whereby a temporary Polyhedra_Powerset object was created with the wrong dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/tests/Polyhedron polypowerset1.cc
by Roberto Bagnara 04 Oct '05

04 Oct '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-10-04 20:25:58 Modified files: tests/Polyhedron: polypowerset1.cc Log message: New test simplified (it could not reproduce the time-dependent bug it was supposed to reproduce). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/polypowerset…

1 0