September 2005 - PPL-devel - BUGSENG Mailman

ppl/src checked.inlines.hh
by Abramo Bagnara 15 Sep '05

15 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: abramo(a)cs.unipr.it 2005-09-15 18:21:12 Modified files: src : checked.inlines.hh Log message: Faster and more precise implementation of gcd. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

Re: [PPL-devel] ppl/tests/Polyhedron gramshmidt1.cc
by Andrea Pescetti 15 Sep '05

15 Sep '05

On Mon, 29 Aug 2005 Roberto Bagnara wrote: > Changes by: roberto(a)cs.unipr.it 2005-08-29 09:57:46 > Added files: > tests/Polyhedron: gramshmidt1.cc > Log message: > Draft test program for Constraint_System::gram_shmidt(). > Patches: > http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/gramshmidt1.… If this refers to the Gram-Schmidt Orthonormalization (note the "c" in Schmidt) described in <http://mathworld.wolfram.com/Gram-SchmidtOrthonormalization.html>, I suggest correcting the spelling in code, documentation and filenames before releasing PPL 0.8. Yours, Andrea.

3 2

ppl/tests/Polyhedron Makefile.am
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 19:21:48 Modified files: tests/Polyhedron: Makefile.am Log message: Add derived tests for the congruence adding tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests/Polyhedron addcongruence2.cc
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 19:21:16 Modified files: tests/Polyhedron: addcongruence2.cc Log message: Use C_Polyhedron instead of NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc…

1 0

ppl/tests/Polyhedron Makefile.am congruences1.cc
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 18:57:33 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: congruences1.cc Log message: Add test congruences1 and derived test nnc_congruences1, which test the polyhedra congruence constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/congruences1… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/src NNC_Polyhedron.defs.hh NNC_Polyhedron. ...
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 18:55:10 Modified files: src : NNC_Polyhedron.defs.hh NNC_Polyhedron.cc C_Polyhedron.defs.hh C_Polyhedron.cc Log message: Add C_Polyhedron(const cgs), C_Polyhedron(cgs), NNC_Polyhedron(const cgs) and NNC_Polyhedron(cgs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr…

1 0

ppl/tests/Polyhedron Makefile.am addcongruence ...
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 17:43:33 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: addcongruences5.cc addcongruences4.cc addcongruences3.cc addcongruences2.cc addcongruences1.cc Log message: Add addcongruences1-5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/addcongruenc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl/tests print.hh print.cc
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 17:41:54 Modified files: tests : print.hh print.cc Log message: Add print_constraints(cgs). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.cc.diff?cvsroot=p…

1 0

ppl/src Polyhedron_public.cc Polyhedron_nonpub ...
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 17:41:13 Modified files: src : Polyhedron_public.cc Polyhedron_nonpublic.cc Polyhedron.defs.hh Log message: Add throw_dimension_incompatible(m, cgs_name, cgs) and add_congruences(cgs). Patches: 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/src/Polyhedron_nonpublic.cc.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 13 Sep '05

13 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-13 17:39:31 Modified files: src : Grid_public.cc Log message: In add_constraints(cs) only add cgs to the grid if congruences have been inserted into cgs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0