November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc Grid.defs.hh
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 21:05:11 Modified files: src : Grid_public.cc Grid.defs.hh Log message: Add method is_bounded. Patches: 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.defs.hh.diff?cvsroot…

1 0

ppl TODO
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 20:45:12 Modified files: . : TODO Log message: Complete operation affine_dimension. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/src Grid_nonpublic.cc Grid.defs.hh
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 20:43:43 Modified files: src : Grid_nonpublic.cc Grid.defs.hh Log message: To normalize_divisors(gs,div) add third argument first_point, which implies that all points in gs have the same divisor. Use this argument in normalize_divisors(gs,gs). Patches: 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.defs.hh.diff?cvsroot…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 19:49:00 Modified files: src : Grid_public.cc Log message: In is_topologically_closed search for a single parameter or proper congruence, instead of checking the counts of these. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/BD_Shape run_tests
by Roberto Bagnara 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-11-02 15:34:41 Modified files: tests/BD_Shape : run_tests Log message: The long double incarnation of checked numbers is still not ready: do not test with it for the time being. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/run_tests.diff…

1 0

ppl/src Makefile.am Float.cc
by Roberto Bagnara 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-11-02 15:33:41 Modified files: src : Makefile.am Added files: src : Float.cc Log message: Obey verse 9.4.2.4 of the C++ standard: "The [static const data] member shall still be defined in a namespace scope if it is used in the program and the namespace scope definition shall not contain an initializer." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Float.cc?cvsroot=ppl&rev=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

ppl/src float.types.hh
by Roberto Bagnara 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2005-11-02 15:27:09 Modified files: src : float.types.hh Log message: Do not define symbols in the global namespace. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/float.types.hh.diff?cvsro…

1 0

ppl/tests/Grid Makefile.am affinedim1.cc
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 11:32:46 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : affinedim1.cc Log message: Add affinedim1, which tests Grid::affine_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinedim1.cc?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/src Congruence_System.cc
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 11:31:41 Modified files: src : Congruence_System.cc Log message: In increase_space_dimension only add columns when more columns are requested (instead of always ensuring that the modulus and constant term column exist). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 02 Nov '05

02 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-02 11:28:14 Modified files: src : Grid_public.cc Log message: Enable and implement method affine_dimension. In minimized_congruences and minimized_generators minimize only the required system. In generators always set the topology to NECESSARILY_CLOSED. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0