September 2008 - PPL-devel - BUGSENG Mailman

ppl src/Grid.defs.hh src/Grid_public.cc tests/ ...
by Patricia Hill 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-11 14:40:07 Modified files: src : Grid.defs.hh Grid_public.cc tests/Grid : Makefile.am frombdshape1.cc fromoctagonalshape1.cc grid3.cc membytes1.cc tests/Partially_Reduced_Product: Makefile.am directproduct1.cc directproduct3.cc directproduct6.cc partiallyreducedproduct2.cc Log message: If a constraint system is not all equalities, then building a grid from the system will now throw an exception. Tests adapted for this change. In tests/Grid the asciidumpload7.cc tested ascii_dump and ascii_load for the product domain. This test fails with the current changes and has been disabled. When these problems have been fixed, the test will be moved and enabled in the tests/Partially_Reduced_Product directory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… 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/frombdshape1.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/fromoctagonalshape… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/membytes1.cc.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/tests/BD_Shape frombox1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 14:17:20 Modified files: tests/BD_Shape : frombox1.cc Log message: Another test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frombox1.cc.di…

1 0

ppl/tests/BD_Shape fromgrid1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 14:06:12 Modified files: tests/BD_Shape : fromgrid1.cc Log message: New test to check that the appropriate precision is obtained when converting from a grid to a bd shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromgrid1.cc.d…

1 0

ppl/tests/Partially_Reduced_Product partiallyr ...
by Patricia Hill 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-11 13:50:57 Modified files: tests/Partially_Reduced_Product: partiallyreducedproduct1.cc Log message: Only build from equality constraints and congruences - otherwise build the universe and use the refine_with* methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produ…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh B ...
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 13:15:18 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh BD_Shape.templates.hh Log message: Now methods constructing a BD_Shape from a constraint system and adding constraints throw exceptions if an illegal constraint is added. Also corrected the conversion constructors from Box and Octagonal_Shape so as to force an emptiness check, so as to build a precise approximation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/src Congruence.defs.hh
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 13:07:21 Modified files: src : Congruence.defs.hh Log message: Documentation clarified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 13:06:39 Modified files: src : Polyhedron_public.cc Log message: Remove a TODO comment inside a now deprecated method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/BD_Shape fromoctagonalshape1.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 12:40:56 Modified files: tests/BD_Shape : fromoctagonalshape1.cc Log message: New test shows that current implementation of conversion operator is not precise enough. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromoctagonals…

1 0

ppl src/Grid.defs.hh src/Grid_public.cc tests/ ...
by Patricia Hill 11 Sep '08

11 Sep '08

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 11 Sep '08

11 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-11 10:30:43 Modified files: src : Polyhedron_public.cc Log message: Redone change (temporarily reverted a week ago): now add_congruence(s) method throws an exception when adding a proper and non-trivial congruence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0