November 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 14:21:00 Modified files: htdocs/Credits : Credits.raw Log message: Synchronized with the CREDITS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl CREDITS
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 14:20:28 Modified files: . : CREDITS Log message: Backported Enric's entry from the `polynomials' branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 13:59:34 Modified files: htdocs/Credits : Credits.raw Log message: Improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl CREDITS
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 13:54:48 Modified files: . : CREDITS Log message: Finished harmonization with the Credits web page. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

ppl/doc Makefile.am
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 11:51:45 Modified files: doc : Makefile.am Log message: A couple of FIXME dealt with (i.e., just removed): the INPUT Doxygen variable for the user foreing language interface documentation seems to be OK as is. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/Makefile.am.diff?cvsroot=…

1 0

w3ppl/htdocs/Credits Credits.raw
by Roberto Bagnara 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2008-11-03 11:43:09 Modified files: htdocs/Credits : Credits.raw Log message: Finished harmonization with the CREDITS file. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl/src Grid.defs.hh
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 11:08:16 Modified files: src : Grid.defs.hh Log message: Specify which constraints are optimally supported by the grid domain. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/src Box.defs.hh Octagonal_Shape.defs.hh
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 10:43:15 Modified files: src : Box.defs.hh Octagonal_Shape.defs.hh Log message: In the detailed documentation for class Box, explain which constraints and congruences are optimally supported (some delegation to the template argument class is required). Simplify the docs for teh add_* methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src BD_Shape.defs.hh Octagonal_Shape.defs.hh
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 10:23:18 Modified files: src : BD_Shape.defs.hh Octagonal_Shape.defs.hh Log message: In the detailed documentation for Octagonal_Shape, say explicitly which constraints/congruences are optimally supported. Exploiting this, simplify the documentation for methods add_*. 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/Octagonal_Shape.defs.hh.d…

1 0

ppl/src BD_Shape.defs.hh
by Enea Zaffanella 03 Nov '08

03 Nov '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-11-03 10:03:40 Modified files: src : BD_Shape.defs.hh Log message: Documentation improved: we now say explicitly in the detailed class documentation which are the constraints/congruences that are optimally supported; as a consequence, the docs for the add_* methods can be simplified by saying that an exception is thorwn if the argument is not optimally supported. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0