April 2007 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs news.raw
by Roberto Bagnara 20 Apr '07

20 Apr '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-04-20 09:38:11 Modified files: htdocs : news.raw Log message: Do not use color in the news archive. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 20 Apr '07

20 Apr '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-04-20 09:36:01 Modified files: htdocs : news.raw ppl.raw Log message: Annouce that Barbara graduated yesterday from the University of Parma. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs/Documentation ppl.bib
by Roberto Bagnara 16 Apr '07

16 Apr '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-04-16 11:53:38 Modified files: htdocs/Documentation: ppl.bib Log message: BagnaraDHMZ07 completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl.bi…

1 0

ppl/utils Makefile.am
by Roberto Bagnara 11 Apr '07

11 Apr '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-04-11 06:27:23 Modified files: utils : Makefile.am Log message: List cm_cleaner.sh and cm_splitter.sh in dist_noinst_SCRIPTS, not noinst_SCRIPTS (problem reported by Stefano Soffia). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/utils/Makefile.am.diff?cvsroo…

1 0

Hilarious: La biblioteca dei poliedri de Parma
by Roberto Bagnara 04 Apr '07

04 Apr '07

http://translate.google.com/translate?u=http%3A%2F%2Fwww.cs.unipr.it%2Fppl%… -- 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/src Checked_Number.defs.hh Checked_Number. ...
by Abramo Bagnara 03 Apr '07

03 Apr '07

1 0

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 03 Apr '07

03 Apr '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-04-03 14:47:22 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected the method Octagonal_Shape::relation_with(c) when the Octagonal_Shape is based on integer coefficients and when the constraint `c' is `1 == 0'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagonal_Shape relatwithcons2.cc
by Elena Mazzi 03 Apr '07

03 Apr '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-04-03 14:43:01 Modified files: tests/Octagonal_Shape: relatwithcons2.cc Log message: Added two new tests on `Octagonal_Shape::relation_with(c)'. Test18() shows a bug in relation_with(const Constraint& c) when the constraint `c' is `1 == 0'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/relatwi…

1 0

ppl/tests/Octagonal_Shape Makefile.am fromspac ...
by Elena Mazzi 03 Apr '07

03 Apr '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-04-03 12:17:31 Modified files: tests/Octagonal_Shape: Makefile.am Added files: tests/Octagonal_Shape: fromspacedim1.cc Log message: New test program fromspacedim1.cc tests Octagonal_Shape<N>::Octagonal_Shape(dimension_type, Degenerate_Element). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/fromspa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/Makefil…

1 0

ppl/tests/BD_Shape Makefile.am fromspacedim1.cc
by Elena Mazzi 03 Apr '07

03 Apr '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2007-04-03 11:44:38 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : fromspacedim1.cc Log message: New test program fromspacedim1.cc tests BD_Shape<N>::BD_Shape(dimension_type, Degenerate_Element). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/fromspacedim1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0