November 2007 - PPL-devel - BUGSENG Mailman

ppl Makefile.am
by Roberto Bagnara 12 Nov '07

12 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-12 18:30:56 Modified files: . : Makefile.am Log message: Useless @SET_MAKE@ removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

ppl configure.ac
by Roberto Bagnara 12 Nov '07

12 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-11-12 18:30:38 Modified files: . : configure.ac Log message: New versions of GCC on Darwin no longer support -Wno-long-double: we no longer use this option on that platform (people using older versions will simply get lots of warnings they can ignore). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests/Grid directproduct3.cc
by Patricia Hill 09 Nov '07

09 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-09 11:05:30 Modified files: tests/Grid : directproduct3.cc Log message: Test18 fails for 8-bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl/tests/Grid directproduct1.cc directproduct3.cc
by Patricia Hill 07 Nov '07

07 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-07 14:50:28 Modified files: tests/Grid : directproduct1.cc directproduct3.cc Log message: Tests corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl/tests/Grid directproduct1.cc directproduct3.cc
by Enea Zaffanella 07 Nov '07

07 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-11-07 09:06:35 Modified files: tests/Grid : directproduct1.cc directproduct3.cc Log message: Temporarily disabled test14 and test19 in directproduct1 and directproduct3, respectively, which are known to fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.…

1 0

ppl src/Polyhedron.inlines.hh tests/Polyhedron ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 21:41:48 Modified files: src : Polyhedron.inlines.hh tests/Polyhedron: congruences1.cc Log message: The method congruences() for the Polyhedron classes must return all equalities including the implied equalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1…

1 0

ppl/tests/Grid Makefile.am partiallyreducedpro ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 17:17:41 Modified files: tests/Grid : Makefile.am partiallyreducedproduct1.cc Added files: tests/Grid : partiallyreducedproduct2.cc Log message: partiallyreducedproduct1.cc no longer tests the direct product domain. More tests for the Smash_Product and Constraints_Product domains added in partiallyreducedproduct2.cc Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partiallyreducedpr…

1 0

ppl/tests/Grid directproduct1.cc directproduct ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 15:08:17 Modified files: tests/Grid : directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct5.cc Log message: Revised the directproduct tests so as not to build or enlarge a product using the generators or grid generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct5.cc.…

1 0

ppl src/Partially_Reduced_Product.defs.hh src/ ...
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 14:45:58 Modified files: src : Partially_Reduced_Product.defs.hh Partially_Reduced_Product.inlines.hh Polyhedron.defs.hh Polyhedron_public.cc tests/Grid : directproduct4.cc Log message: Undone the change to generalized_affine_image in previous commit so these methods are, again, unsupported by the Partially_Reduced_Product domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.…

1 0

ppl/tests/Grid directproduct1.cc
by Patricia Hill 05 Nov '07

05 Nov '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-11-05 12:16:34 Modified files: tests/Grid : directproduct1.cc Log message: Revised test so as not to use the generators or grid_generators constructors Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0