May 2005 - PPL-devel - BUGSENG Mailman

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

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 17:14:51 Modified files: src : Grid_public.cc Log message: Output "true" from operator<< if the grid is universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

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

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 17:01:19 Modified files: tests/Grid : addspacedims1.cc Log message: Add test5, where dimensions are only added to the congruence system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addspacedims1.cc.d…

1 0

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

24 May '05

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

1 0

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

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 16:55:22 Added files: tests/Grid : addgenerator1.cc Log message: Initial revision. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addgenerator1.cc?c…

1 0

ppl/tests/Grid mapspacedims1.cc
by Matthew Mundell 24 May '05

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 16:54:21 Modified files: tests/Grid : mapspacedims1.cc Log message: Add test6 (maps additional dimensions to themselves), test7 (maps over existing dimensions) and test8 (maps away a dimension in an empty grid). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/mapspacedims1.cc.d…

1 0

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

24 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-24 16:51:24 Modified files: src : Grid_public.cc Log message: Set congruences up to date in add_congruence. Implement the rest of add_generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-23 19:38:29 Modified files: src : Grid_public.cc Log message: Grid::add_congruences_and_minimize(const Constraint_System& cs) fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_public.cc
by Roberto Bagnara 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-23 19:30:54 Modified files: src : Grid_public.cc Log message: In Grid::add_congruences_and_minimize(const Constraint_System& cs), non equality constraints that may be present in `cs' are simply ignored. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

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

23 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-23 18:09:01 Modified files: src : Grid_public.cc Log message: Implement some of add_generator. Modify add_congruences_and_minimize to match the dimension of the congruence system being constructed to the given constraint system. Correct a doxygen comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 23 May '05

23 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-23 16:25:02 Modified files: htdocs/Documentation: ppl.bib Log message: Unwanted quotes removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0