May 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/BD_Shape affinedimension1.cc
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 16:39:27 Modified files: tests/BD_Shape : affinedimension1.cc Log message: Rewrited and added some tests for affine_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimensio…

1 0

ppl/tests/BD_Shape frompolyhedron1.cc
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-05-02 16:35:23 Modified files: tests/BD_Shape : frompolyhedron1.cc Log message: test01() in frompolyhedron1.cc overflows when using 8-bit and 16-bit integers. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/frompolyhedron…

1 0

ppl/tests/Octagon addspacedims1.cc affinedimen ...
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 16:17:48 Modified files: tests/Octagon : addspacedims1.cc affinedimension1.cc chinainit.cc constraints1.cc Log message: Corrected the conversion in some tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/addspacedims1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/affinedimension… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/chinainit.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/constraints1.cc…

1 0

ppl/tests ppl_test.hh
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 15:19:31 Modified files: tests : ppl_test.hh Log message: Added support for checking the results of approximated Octagonal_Shape computations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 15:16:53 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: All instances of OR_Matrix are now friends of each other. Added constructor building an overapproximation of an OR_Matrix of a different coefficient type. 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 Octagonal_Shape.defs.hh Octagonal_Shap ...
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 15:13:18 Modified files: src : Octagonal_Shape.defs.hh Octagonal_Shape.inlines.hh Log message: Added declarations and definitions of fucntions computing distances. Added constructor converting from another Octagonal_Shape. All instances of Octagonal_Shape are now friends of each other. 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.inlines.h…

1 0

ppl/src OR_Matrix.defs.hh OR_Matrix.inlines.hh
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 15:00:19 Modified files: src : OR_Matrix.defs.hh OR_Matrix.inlines.hh Log message: Added declarations and definitions of helper functions for computing distances. 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 DB_Matrix.inlines.hh Makefile.am dista ...
by Enea Zaffanella 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 14:58:52 Modified files: src : DB_Matrix.inlines.hh Makefile.am Added files: src : distances.defs.hh distances.inlines.hh distances.types.hh Log message: Common code for computing distances put in files distances.* Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/distances.defs.hh?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/distances.inlines.hh?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/distances.types.hh?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/DB_Matrix.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…

1 0

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

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-05-02 12:42:41 Modified files: src : Octagonal_Shape.templates.hh Log message: Restored previous version of is_strongly_reduced(): the modified version was not working as it was assumming that a strongly reduced matrix is just strongly closed plus Booleans indicating redundancies (as for BD shapes). Removed a few redundant template qualifications. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/demos/ppl_lpsol ppl_lpsol.c
by Andrea Cimino 02 May '06

02 May '06

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: cimino(a)cs.unipr.it 2006-05-02 12:31:35 Modified files: demos/ppl_lpsol: ppl_lpsol.c Log message: Don't confuse the class used to solve the lp problems and the name of the program. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/demos/ppl_lpsol/ppl_lpsol.c.d…

1 0