August 2005 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh 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 10:24:07 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added methods generalized_affine_preimage() and bounded_affine_preimage(). A few improvements also in other affine images and preimages methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/src Polyhedron.inlines.hh
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:22:28 Modified files: src : Polyhedron.inlines.hh Log message: In map_space_dimensions, temporary constant declared const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif…

1 0

ppl/src Matrix.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 10:21:03 Modified files: src : Matrix.cc Log message: Remove spurious space. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

ppl/src Constraint_System.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 10:20:19 Modified files: src : Constraint_System.cc Log message: Avoid a too long line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.cc.diff…

1 0

ppl src/BD_Shape.defs.hh src/BD_Shape.inlines. ...
by Roberto Bagnara 15 Aug '05

15 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-15 21:53:00 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Checked_Number.defs.hh DB_Row.inlines.hh tests : ppl_test.hh Log message: Old kludges removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/interfaces/Prolog/SWI Makefile.am
by Roberto Bagnara 15 Aug '05

15 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-15 21:00:11 Modified files: interfaces/Prolog/SWI: Makefile.am Log message: Use the "-goal main" option of `plld' instead of the more verbose (and obscure) "-pl-options,-g,main". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil…

1 0

ppl/tests/Polyhedron bug2.cc
by Roberto Bagnara 15 Aug '05

15 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-08-15 20:50:47 Modified files: tests/Polyhedron: bug2.cc Log message: Be more verbose. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug2.cc.diff…

1 0

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

12 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-08-12 19:09:09 Modified files: doc : definitions.dox ppl.sty Log message: Provided new description of affine transfer relations so as to also allow for preimages of (bounded or generalized) affine relations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/ppl.sty.diff?cvsroot=ppl&…

1 0

ppl/tests/Grid generalizedaffineimage2.cc
by Matthew Mundell 12 Aug '05

12 Aug '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-08-12 16:55:22 Modified files: tests/Grid : generalizedaffineimage2.cc Log message: Add test22. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/generalizedaffinei…

1 0

ppl/tests/Grid Makefile.am generalizedaffineim ...
by Matthew Mundell 11 Aug '05

11 Aug '05

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

1 0