May 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Elena Mazzi 04 May '06

04 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-04 10:05:00 Modified files: src : Octagonal_Shape.templates.hh Log message: Some (mainly readability) improvements to the implementation of method affine_preimage(). Indented region in some methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-03 15:54:28 Modified files: src : Octagonal_Shape.templates.hh Log message: Several (mainly readability) improvements to the implementation of method affine_image() for the case when t == 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon affinepreimage2.cc generaliz ...
by Elena Mazzi 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-03 15:21:27 Modified files: tests/Octagon : affinepreimage2.cc generalizedaffineimage3.cc generalizedaffineimage4.cc generalizedaffinepreimage1.cc relatwithcons1.cc Log message: Corrected some tests using `check_result()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinepreimage2… 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… 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/relatwithcons1.…

1 0

ppl/tests/Octagon Makefile.am bounded1.cc
by Elena Mazzi 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-03 15:01:59 Modified files: tests/Octagon : Makefile.am Added files: tests/Octagon : bounded1.cc Log message: Added a new test for the method is_bounded(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/bounded1.cc?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/Makefile.am.dif…

1 0

ppl/src Octagonal_Shape.defs.hh Octagonal_Shap ...
by Elena Mazzi 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-03 14:43:09 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.templates.hh Log message: Added a new method Octagonal_Shape::is_bounded(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-03 14:40:37 Modified files: src : Octagonal_Shape.templates.hh Log message: A few improvements in method constraints() and operator <<. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon frompolyhedron1.cc
by Enea Zaffanella 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-03 14:39:48 Modified files: tests/Octagon : frompolyhedron1.cc Log message: Allow for approximations when comparing the known result with the computed one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 03 May '06

03 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-03 09:48:30 Modified files: src : Octagonal_Shape.templates.hh Log message: Added (macro for) definitions of output functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon Makefile.am affinepreimage2. ...
by Elena Mazzi 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: mazzi(a)cs.unipr.it 2006-05-02 17:55:32 Modified files: tests/Octagon : Makefile.am affinepreimage2.cc generalizedaffineimage4.cc generalizedaffinepreimage1.cc Log message: Corrected with the right approximations some tests. 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/affinepreimage2… 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 src/BD_Shape.defs.hh src/BD_Shape.template ...
by Elena Mazzi 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-05-02 17:48:49 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : bounded1.cc Log message: Defined a new method BD_Shape::is_bounded(). Added some tests for this method. 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/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/bounded1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0