September 2005 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2005-09-04 23:21:38 Modified files: htdocs/Documentation: ppl.bib Log message: Added HuelsbergenHL90. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/tests/Grid join2.cc join1.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 21:05:49 Modified files: tests/Grid : join2.cc join1.cc Log message: Use common Variables for all the tests. Only call find_variation for the grid under test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join2.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/tests/Grid generalizedaffinepreimage1.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 21:04:18 Modified files: tests/Grid : generalizedaffinepreimage1.cc Log message: Correct the known grids in test3, test4 and test5. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinep…

1 0

ppl/tests/Grid affinepreimage1.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 21:03:30 Modified files: tests/Grid : affinepreimage1.cc Log message: Note which second grid is under test in failure messages. Correct the known grid and given variable in test13. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/affinepreimage1.cc…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 20:58:20 Modified files: tests/Grid : addconstraints1.cc Log message: Comment the end of the namespace block. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/tests/Grid Makefile.am join3.cc contains1.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 20:57:01 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : join3.cc contains1.cc Log message: Add contains1, including a test for the is_included_in error found via CHINA. Add join3, which tests join_assign_if_exact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join3.cc?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/contains1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

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

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 20:52:32 Modified files: src : Grid_public.cc Log message: Implement join_assign_if_exact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-04 19:35:21 Modified files: src : Grid_nonpublic.cc Log message: In is_included_in check that all generators (including the first one) satisfy the congruences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Congruence.defs.hh Congruence.inlines.hh
by Roberto Bagnara 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: roberto(a)cs.unipr.it 2005-09-04 00:40:52 Modified files: src : Congruence.defs.hh Congruence.inlines.hh Log message: Avoid returning references to temporaries. Patches: 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.inlines.hh.dif…

1 0

ppl/src Saturation_Row.cc
by Roberto Bagnara 04 Sep '05

04 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-04 00:04:35 Modified files: src : Saturation_Row.cc Log message: FIXME dealt with. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Saturation_Row.cc.diff?cv…

1 0