September 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron exceptions1.cc
by Andrea Cimino 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-21 10:46:19 Modified files: tests/Polyhedron: exceptions1.cc Log message: The exceptions tests are now more consistent to what defined in STANDARDS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions1.…

1 0

ppl/doc devref.doxyconf-html.in devref.doxycon ...
by Enea Zaffanella 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-21 10:44:41 Modified files: doc : devref.doxyconf-html.in devref.doxyconf-latex.in Log message: Let iterator_to_const.*, Ask_Tell.* and Pointset_Ask_Tell.* files participate to the generation of the devref manuals. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-latex.in.…

1 0

ppl/src LP_Problem.defs.hh
by Enea Zaffanella 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-21 10:11:35 Modified files: src : LP_Problem.defs.hh Log message: A few further improvements to the devref documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/src LP_Problem.defs.hh
by Enea Zaffanella 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-21 10:02:05 Modified files: src : LP_Problem.defs.hh Log message: Corrected documentation for add_constraints. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/src LP_Problem.defs.hh
by Enea Zaffanella 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-21 09:17:16 Modified files: src : LP_Problem.defs.hh Log message: A few improvements to the documentation. Declare the std::swap specialization before defining it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c…

1 0

ppl/src Pointset_Ask_Tell.defs.hh Pointset_Ask ...
by Roberto Bagnara 21 Sep '06

21 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-21 07:30:21 Modified files: src : Pointset_Ask_Tell.defs.hh Pointset_Ask_Tell.templates.hh Log message: Unwanted stuff removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.templat…

1 0

ppl/src Ask_Tell.inlines.hh Ask_Tell.templates ...
by Roberto Bagnara 20 Sep '06

20 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-20 21:40:53 Modified files: src : Ask_Tell.inlines.hh Ask_Tell.templates.hh Pointset_Ask_Tell.templates.hh Log message: Implemented Ask_Tell::empty(), Pointset_Ask_Tell::concatenate_assign(), Pointset_Ask_Tell::remove_space_dimensions() and Pointset_Ask_Tell::remove_higher_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.templat…

1 0

ppl/tests BBox.cc Makefile.am Partial_Function ...
by Roberto Bagnara 20 Sep '06

20 Sep '06

1 0

ppl ./NEWS ./configure.ac src/Ask_Tell.defs.hh ...
by Roberto Bagnara 20 Sep '06

20 Sep '06

1 0

Tinderbox changes
by Roberto Bagnara 20 Sep '06

20 Sep '06

Hi there, in an attempt to make tinderbox more useful, I have adopted a new short encoding for build names: this should allow to visualize the complete status page at http://www.cs.unipr.it/~tinderbox/PPL-HEAD/status.html without having to scroll left and right (to see this we will have to wait a day or so, when the old build names will disappear). The encoding is of the form MAOHBC, where: M is the machine, one of i igor.cs.unipr.it p spartacus.cs.unipr.it s sandbox.cs.unipr.it c cluster64.unipr.it l clin150.leeds.ac.uk A is the assertion status, one of n no assertions a assertions m more assertions O is the optimization, one of n no optimization z zero m mild d standard s speed u sspeed H is the architecture for which code is being optimized, one of d default 4 Pentium 4 6 Athlon 64 B is the type of build, one of c make check w documentation make world d make distcheck C is the type of coefficients, one of g GMP integers 3 8-bit 4 16-bit 5 32-bit 6 64-bit 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