September 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron matasciidumpload1.cc
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 14:07:10 Modified files: tests/Polyhedron: matasciidumpload1.cc Log message: Correct the numeric_limits instantiation. Only allow valid modulation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matasciidump…

1 0

Tinderbox status
by Roberto Bagnara 22 Sep '05

22 Sep '05

As you can see, tinderbox is not very happy today http://www.cs.unipr.it/~tinderbox/all_trees.panel.html (BTW: this is the link any developer should monitor on a regular basis). The reasons for the failures are: 1) on cluster64 everything fails becase the changes Enea made yesterday triggered a bug in GCC 3.3.3: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13635 After proper consisderation, I decided that the only reasonable fix was to ask the cluster64's admin to upgrade GCC; 2) on crystal, XSB Prolog dies because of a segmentation fault; I will look at it now; 3) on thunder, we stumble on the GCC (4.0.1) bug I reported to this list a few days ago; I will install GCC 4.0.2 there as soon as it will be available; 4) the matasciidumpload1 test fails for some choices of the Coefficient type. Bugs, bugs... bugs everywhere... Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

3 8

ppl/tests/Polyhedron matasciidumpload1.cc Make ...
by Matthew Mundell 22 Sep '05

22 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-22 13:09:50 Modified files: tests/Polyhedron: matasciidumpload1.cc Makefile.am Log message: In matasciidumpload1 limit the size of the random values according to the coefficient type and rename the data file uniquely. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matasciidump… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl TODO
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 19:25:27 Modified files: . : TODO Log message: One item completed and removed (check_containment). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.15…

1 0

ppl NEWS
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 19:24:44 Modified files: . : NEWS Log message: Some of the recent changes and bugfixes announced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/tests/BD_Shape Makefile.am geomcovers1.cc
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 19:24:07 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : geomcovers1.cc Log message: Added a new test showing that geometrically_covers() also works for powersets of BD_Shape's. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/geomcovers1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src Makefile.am Polyhedra_Powerset.defs.hh ...
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 19:22:57 Modified files: src : Makefile.am Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh algorithms.hh Added files: src : Polyhedra_Powerset.cc Log message: Added new specializations for Polyhedra_powerset mixed constructors. Function check_containment() now works with different instantiations of Polyhedra_Powerset; the same happens for geometrically_covers() and geometrically_equals(). A few non-inline full specialization of member templates have been moved into file Polyhedra_Powerset.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0

ppl/src Linear_System.cc
by Matthew Mundell 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-21 17:05:35 Modified files: src : Linear_System.cc Log message: Indent consistently in ascii_load. Correct typo, grammar and formatting in three comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0

ppl/src Linear_System.cc Congruence_System.def ...
by Matthew Mundell 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-21 16:56:58 Modified files: src : Linear_System.cc Congruence_System.defs.hh Congruence_System.cc Log message: Take out Congruence_System::add_row. Replace the bulk of Linear_System::add_row with a call to Matrix::add_row. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/tests/Polyhedron geomcovers1.cc
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 16:40:14 Modified files: tests/Polyhedron: geomcovers1.cc Log message: Test corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/geomcovers1.…

1 0