August 2005 - PPL-devel - BUGSENG Mailman

ppl NEWS
by Enea Zaffanella 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-16 14:28:40 Modified files: . : NEWS Log message: Announced new methods for computing preimages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-16 14:28:01 Modified files: src : Polyhedron_public.cc Log message: Corrected error in the implementation of generalized_affine_(pre)image. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces/C ppl_c.h.in ppl_c.cc
by Enea Zaffanella 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-16 14:26:50 Modified files: interfaces/C : ppl_c.h.in ppl_c.cc Log message: Interfaced new methods for computing affine preimages. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.in.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.cc.diff?cv…

1 0

ppl/doc definitions.dox
by Enea Zaffanella 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-16 12:23:55 Modified files: doc : definitions.dox Log message: Had another try at explaining the shorthand notation for affine relations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/tests/Grid Makefile.am griddifference1.cc
by Matthew Mundell 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-16 11:44:29 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : griddifference1.cc Log message: Add griddifference1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/griddifference1.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0

ppl/tests print.hh ppl_test.hh
by Matthew Mundell 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-16 11:43:06 Modified files: tests : print.hh ppl_test.hh Log message: Move dump_grids to print.hh. Abort if the comparison in find_variation_template fails. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/print.hh.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...
by Matthew Mundell 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-16 11:41:33 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid.defs.hh Log message: Enable grid_difference_assign. Add and improve a few comments. Take out some old Polyhedron code. 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.defs.hh.diff?cvsroot…

1 0

ppl/src Linear_Expression.defs.hh Linear_Expre ...
by Matthew Mundell 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-16 11:39:53 Modified files: src : Linear_Expression.defs.hh Linear_Expression.cc Log message: Add constructor Linear_Expression(cg). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_Expression.cc.diff…

1 0

Bogus warnings in last CVS version of Doxygen
by Roberto Bagnara 16 Aug '05

16 Aug '05

I get a bunch of warnings like /home/roberto/tppl/src/ppl.hh:16073: Warning: reached end of file while inside a f$ block! /home/roberto/tppl/src/ppl.hh:2404: Warning: reached end of file while inside a f$ block! /home/roberto/tppl/src/ppl.hh:2851: Warning: reached end of file while inside a f$ block! /home/roberto/tppl/interfaces/C/ppl_c.h:2390: Warning: reached end of file while inside a f$ block! /home/roberto/tppl/interfaces/C/ppl_c.h:565: Warning: reached end of file while inside a f$ block! I have checked them one by one, and they are all false. Moreover, while 16073 is indeed the line number of the last line of ppl.hh and 2390 is the last line of ppl_c.h, the other line numbers given seem to be completely irrelevant (i.e., they do not even correspond to lines of a f$ block. A reated bug concerns warnings of the form /home/roberto/ppl/ppl/doc/definitions.dox:551: Warning: found </code> tag without matching <code> Line 551 of definitions.dox does not contain any <code> or </code> tag. All such tags in that file are properly matched, so I don't know what is going on. Is anyone observing this? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl/tests/Polyhedron Makefile.am affinepreimag ...
by Enea Zaffanella 16 Aug '05

16 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-16 10:25:22 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: affinepreimage11.cc boundedaffineimage3.cc boundedaffinepreimage1.cc boundedaffinepreimage2.cc boundedaffinepreimage3.cc generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc generalizedaffinepreimage3.cc generalizedaffinepreimage4.cc Log message: Added tests for new methods computing preimages of polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/affinepreima… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/boundedaffin… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/generalizeda… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0