December 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Grid isuniverse1.cc
by Matthew Mundell 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-20 21:47:28 Modified files: tests/Grid : isuniverse1.cc Log message: Correct the fail case in test10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/isuniverse1.cc.dif…

1 0

ppl/tests/Grid congruencesystem2.cc
by Matthew Mundell 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-20 21:46:57 Modified files: tests/Grid : congruencesystem2.cc Log message: Use parameter divisors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-20 21:45:47 Modified files: src : Grid_chdims.cc Log message: Take some old code out of add_space_dimensions_and_embed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0

ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...
by Matthew Mundell 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-20 21:44:40 Modified files: src : Grid_simplify.cc Grid_public.cc Grid_nonpublic.cc Grid_Generator_System.inlines.hh Grid_Generator_System.defs.hh Grid.inlines.hh Congruence_System.cc Log message: [rest of previous commit] Add parameter divisors, encoding the divisors in an extra trailing Grid_Generator column: - implement the Grid_Generator methods point, line, is_equivalent_to and all_homogeneous_terms_are_zero directly, instead of wrapping the Generator equivalents - move Grid_Generator::strong_normalize to the private section - update Grid_Generator_System to swap the divisor column any time the system size changes - update methods Congruence_System::satisfies_all_congruences and Grid::relation_with(g) to use the given generator's divisor instead of a divisor passed in an extra argument - update the generator reduction and congruence to generator conversion to ensure that the parameter divisors match the divisor of the first point after the reduction or conversion - adapt Grid and Scalar_Product to the extra generator column (mostly changes to loop indexing) - add a Grid_Generator friend declaration to Linear_Expression. Take out Grid_Generator_System(const Generator&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvs… 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/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.inl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Scalar_Products.cc Linear_Expression.d ...
by Matthew Mundell 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-20 21:41:32 Modified files: src : Scalar_Products.cc Linear_Expression.defs.hh Grid_conversion.cc Grid_Generator_System.cc Grid_Generator.inlines.hh Grid_Generator.defs.hh Grid_Generator.cc Grid.defs.hh Congruence_System.defs.hh Log message: Add parameter divisors, encoding the divisors in an extra trailing Grid_Generator column: - implement the Grid_Generator methods point, line, is_equivalent_to and all_homogeneous_terms_are_zero directly, instead of wrapping the Generator equivalents - move Grid_Generator::strong_normalize to the private section - update Grid_Generator_System to swap the divisor column any time the system size changes - update methods Congruence_System::satisfies_all_congruences and Grid::relation_with(g) to use the given generator's divisor instead of a divisor passed in an extra argument - update the generator reduction and congruence to generator conversion to ensure that the parameter divisors match the divisor of the first point after the reduction or conversion - adapt Grid and Scalar_Product to the extra generator column (mostly changes to loop indexing) - add a Grid_Generator friend declaration to Linear_Expression. Take out Grid_Generator_System(const Generator&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv… 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/Congruence_System.defs.hh…

1 0

ppl/src LP_Problem.defs.hh
by Andrea Cimino 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2005-12-20 11:42:23 Modified files: src : LP_Problem.defs.hh Log message: Synchronized Doxygen stuff to reflect last changes to LP_Problem interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/tests Random_Number_Generator.inlines.hh
by Enea Zaffanella 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-20 08:31:31 Modified files: tests : Random_Number_Generator.inlines.hh Log message: Avoid anonymous namespaces in files that are going to be included. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Random_Number_Generator…

1 0

ppl/src namespaces.hh BDS_Status.inlines.hh BD ...
by Enea Zaffanella 20 Dec '05

20 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-12-20 08:30:53 Modified files: src : namespaces.hh BDS_Status.inlines.hh BD_Shape.inlines.hh Native_Integer.inlines.hh Polyhedra_Powerset.inlines.hh Log message: Avoid the use of anonymous namespaces in files that are going to be included. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/namespaces.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BDS_Status.inlines.hh.dif… 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/Native_Integer.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/tests/Grid Makefile.am copyconstruct1.cc
by Matthew Mundell 19 Dec '05

19 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-19 20:22:47 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : copyconstruct1.cc Log message: Add copyconstruct1, to test Grid copy construction. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/copyconstruct1.cc?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 19 Dec '05

19 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-19 20:21:45 Modified files: src : Grid_public.cc Log message: Update the copy constructor to always copy the systems when the space dimension is zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0