April 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs news.raw ppl.raw images/Laurea_An ...
by Roberto Bagnara 28 Apr '06

28 Apr '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-04-28 10:13:10 Modified files: htdocs : news.raw ppl.raw Added files: htdocs/images : Laurea_Andrea_Cimino.jpg Log message: Announced the success of Andrea Cimino. 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/images/Laurea_Andrea…

1 0

ppl src/Octagon.templates.hh tests/Octagon/gen ...
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 17:08:17 Modified files: src : Octagon.templates.hh tests/Octagon : generalizedaffinepreimage2.cc Log message: Corrected a bug in Octagon::generalized_affine_preimage() and added a test for it. Patches: 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/tests/Octagon/generalizedaffi…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage2.cc
by Elena Mazzi 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-04-27 17:05:34 Modified files: tests/BD_Shape : generalizedaffinepreimage2.cc Log message: Corrected an error in `test04', but the bug remains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh
by Elena Mazzi 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-04-27 16:31:19 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: Improved the comments about the class OR_Matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/OR_Matrix.inlines.hh.diff…

1 0

ppl/src Octagon.templates.hh
by Enea Zaffanella 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-04-27 13:56:37 Modified files: src : Octagon.templates.hh Log message: Corrected a few spelling errors inside assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagon.templates.hh.diff…

1 0

ppl/tests/Octagon Makefile.am
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 13:41:27 Modified files: tests/Octagon : Makefile.am Log message: Removed the lines concerning removed tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/tests/BD_Shape generalizedaffinepreimage2.cc
by Elena Mazzi 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-04-27 13:28:05 Modified files: tests/BD_Shape : generalizedaffinepreimage2.cc Log message: Added a new test that shows a bug in the method: BD_Shape::generalized_affine_preimage(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/generalizedaff…

1 0

ppl/tests/Octagon Makefile.am exceptions1.cc e ...
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 13:20:24 Modified files: tests/Octagon : Makefile.am Removed files: tests/Octagon : exceptions1.cc exceptions2.cc exceptions3.cc Log message: Unnecessary test files removed. Exceptions are included in the specified tests for every functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions1.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions2.cc.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/exceptions3.cc.…

1 0

ppl/tests/Octagon generalizedaffinepreimage1.c ...
by Barbara Quartieri 27 Apr '06

27 Apr '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-04-27 13:10:14 Added files: tests/Octagon : generalizedaffinepreimage1.cc generalizedaffinepreimage2.cc Log message: Added tests for Octagon::generalized_affine_preimage(). Patches: 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/generalizedaffi…

1 0

ppl/tests/Octagon Makefile.am generalizedaffin ...
by Barbara Quartieri 27 Apr '06

27 Apr '06

1 0