April 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagon Makefile.am addspacedims1.cc ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

1 0

ppl/tests/Octagon chinainit.cc mapspacedims1.cc
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-06 21:25:12 Modified files: tests/Octagon : chinainit.cc mapspacedims1.cc Log message: The declaration of print_function() is obtained by including ppl_test.hh. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.c…

1 0

ppl/tests/Octagon Makefile.am addspacedims1.cc ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

1 0

ppl src/Makefile.am src/Octagon.templates.hh s ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-06 21:15:29 Modified files: src : Makefile.am Octagon.templates.hh Og_Status.inlines.hh tests/Octagon : chinainit.cc generalizedaffineimage6.cc mapspacedims1.cc Log message: Several corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Og_Status.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/mapspacedims1.c…

1 0

ppl/src DB_Row.defs.hh OR_Matrix.inlines.hh Oc ...
by Roberto Bagnara 06 Apr '06

06 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-06 08:29:11 Modified files: src : DB_Row.defs.hh OR_Matrix.inlines.hh Octagon.inlines.hh Octagon.templates.hh Log message: More corrections. One FIXME added to DB_Row.defs.hh concerning a "private" that was temporarily turned into "public". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Row.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl src/Octagon.inlines.hh src/Octagon.templat ...
by Roberto Bagnara 05 Apr '06

05 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-04-05 17:15:13 Modified files: src : Octagon.inlines.hh Octagon.templates.hh globals.defs.hh globals.inlines.hh tests : ppl_test.hh Log message: Lots of corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl ./configure.ac src/Makefile.am tests/Makef ...
by Roberto Bagnara 05 Apr '06

05 Apr '06

1 0

ppl/tests/Octagon
by Barbara Quartieri 05 Apr '06

05 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-04-05 11:02:28 ppl/tests/Octagon Update of /cvs/ppl/ppl/tests/Octagon In directory spartacus.cs.unipr.it:/tmp/cvs-serv28893/Octagon Log Message: Directory /cvs/ppl/ppl/tests/Octagon added to the repository --> Using per-directory sticky tag `octagons'

1 0

ppl/demos/ppl_lcdd ppl_lcdd.cc
by Roberto Bagnara 04 Apr '06

04 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-04-04 08:01:21 Modified files: demos/ppl_lcdd : ppl_lcdd.cc Log message: The `-V' option is only available with the PPL version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lcdd/ppl_lcdd.cc.di…

1 0

ppl/tests/Grid grid3.cc
by Patricia Hill 03 Apr '06

03 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-04-03 09:56:29 Modified files: tests/Grid : grid3.cc Log message: Revised failing tests for different checked integer configurations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid3.cc.diff?cvsr…

1 0