May 2005 - PPL-devel - BUGSENG Mailman

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

28 May '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-05-28 16:18:02 Modified files: htdocs/Documentation: ppl.bib Log message: Address added to CousotC76. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl tests/Grid/bug1.dat src/Generator_System.cc
by Matthew Mundell 28 May '05

28 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-28 13:17:52 Modified files: tests/Grid : bug1.dat src : Generator_System.cc Log message: In Generator_System::asci_load leave the stream read position at the end of the dump. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.dat.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/tests/Grid Makefile.am bug1.cc bug1.dat
by Roberto Bagnara 27 May '05

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-05-27 21:29:33 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : bug1.cc bug1.dat Log message: The program `bug1' exhibits a bug triggered by an invocation of (to be renamed) Grid::add_congruences_and_minimize(const Constraint_System&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.cc?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bug1.dat?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests/Grid grid1.cc
by Matthew Mundell 27 May '05

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-27 21:02:57 Modified files: tests/Grid : grid1.cc Log message: Improve a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsr…

1 0

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

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-27 21:02:41 Modified files: tests/Grid : grid2.cc Log message: Revert last change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

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

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-27 20:54:38 Modified files: tests/Grid : grid2.cc Log message: Improve a comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid_ ...
by Matthew Mundell 27 May '05

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-27 20:53:59 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid_minimize.cc Grid.defs.hh Log message: Take out methods normalize_divisors and parameterize. In the construct methods leave the system as given (instead of simplifying it). Always clear the pending rows flag of an added generator system. Set the sorted flag in the generator construct method. Neaten some formatting. 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_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_minimize.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl tests/Grid/writecongruencesystem.cc tests/ ...
by Matthew Mundell 27 May '05

27 May '05

1 0

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

27 May '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-05-27 14:53:48 Modified files: src : Congruence.defs.hh Log message: Make zero_dim_false and zero_dim_integrality public. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/tests/Grid join2.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 20:50:33 Modified files: tests/Grid : join2.cc Log message: Add test2 which joins with both grids universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsr…

1 0