May 2005 - PPL-devel - BUGSENG Mailman

ppl/src Congruence.inlines.hh Congruence.defs. ...
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 16:38:09 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Take out throw_invalid_modulus. Update some temporary comments. In Congruence(c) throw an exception if the constraint is a relation, and set the modulus to 0 instead of 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 13:21:25 Modified files: src : Grid_public.cc Log message: In add_generator also clear the congruences up-to-date flag when adding to an empty grid. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid addspacedims2.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 12:52:50 Modified files: tests/Grid : addspacedims2.cc Log message: Add test6, which add dimensions only to the grid's generator system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims2.cc.d…

1 0

ppl/tests/Grid addspacedims1.cc
by Matthew Mundell 26 May '05

26 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-26 12:51:56 Modified files: tests/Grid : addspacedims1.cc Log message: Improve comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.d…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 21:18:45 Modified files: src : Grid_public.cc Log message: In OK, take the extra copy of the generator system out of the minimized test, Use "generators" instead of "parameters", and print the minimized congruence system (instead of the original) in the congruence minimized test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/tests/Grid Makefile.am
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 20:47:35 Modified files: tests/Grid : Makefile.am Log message: Add test addcongruence1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid addcongruence1.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 20:47:11 Added files: tests/Grid : addcongruence1.cc Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addcongruence1.cc?…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 20:46:10 Modified files: tests/Grid : addgenerator1.cc Log message: Add test6, which tests add_generator_and_minimize. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/tests/Grid addgenerator1.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 19:27:52 Modified files: tests/Grid : addgenerator1.cc Log message: Add tests 2 to 5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc.d…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 25 May '05

25 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-25 14:48:13 Modified files: tests/Grid : grid2.cc Log message: Start from the universe when constructing grids from congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0