November 2005 - PPL-devel - BUGSENG Mailman

ppl tests/BD_Shape/Makefile.am src/BD_Shape.in ...
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 19:54:57 Modified files: tests/BD_Shape : Makefile.am src : BD_Shape.inlines.hh Added files: tests/BD_Shape : minconstraints1.cc Log message: Corrected a few bugs in minimized_constraints(); added a new test for it. The ascii_dump() and ascii_load() methods now also write/read the matrix encoding redundancy information. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/minconstraints… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 17:54:55 Modified files: tests/Grid : grid2.cc Log message: Align copyright line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/src Grid.defs.hh
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 17:54:32 Modified files: src : Grid.defs.hh Log message: Document the length_error exceptions that occur in many constructors. Mention copying the given system in the brief descriptions for many constructors. Improve formatting and correct typos in a few comments. Patches: 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 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 17:52:45 Modified files: src : Grid_public.cc Log message: In the copy constructor create gen_sys NECESSARILY_CLOSED and assert that the given gen_sys was NECESSARILY_CLOSED. Move operator= to match the order of method declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid.inlines.hh
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 17:50:23 Modified files: src : Grid.inlines.hh Log message: Move box constructors to follow other constructors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl TODO
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 17:41:57 Modified files: . : TODO Log message: Complete upper_bound_assign_and_minimize item. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&only_wi…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-08 16:45:31 Modified files: src : BD_Shape.inlines.hh Log message: Corrected a couple of stupid bugs in the copy constructor and assignment operator of BD_Shape. A few useful functions related to the computation of leaders have been extracted from shortest_path_reduction_assign(), so as to factor common code in minimized_constraints() and affine_dimension(). The method minimized_constraints() should now return a constraint system in minimal form, exploiting redundancy information. The method constraints() now invokes minimized_constraints() if the BD_Shape is known to be reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/tests/Grid Makefile.am addcongruences1.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 14:09:37 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : addcongruences1.cc Log message: Add addcongruences1, to test methods which add multiple congruences to a grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruences1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid grid3.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 14:08:29 Modified files: tests/Grid : grid3.cc Log message: Align copyright line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0

ppl/tests/Grid addcongruence1.cc
by Matthew Mundell 08 Nov '05

08 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-08 14:07:56 Modified files: tests/Grid : addcongruence1.cc Log message: Improve title comment. Add namespace with shared Variables. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc.…

1 0