November 2006 - PPL-devel - BUGSENG Mailman

ppl/tests/Octagonal_Shape max_min1.cc
by Barbara Quartieri 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: quartieri(a)cs.unipr.it 2006-11-14 14:33:39 Modified files: tests/Octagonal_Shape: max_min1.cc Log message: Added two tests that show a bug on Octagonal_Shape::max_min() when the inhomogeneous term of expression is null. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/max_min…

1 0

ppl/src BD_Shape.templates.hh
by Elena Mazzi 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-14 14:30:52 Modified files: src : BD_Shape.templates.hh Log message: Corrected the bug on BD_Shape::max_min() when the inhomogeneous term of expression is null. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/tests/BD_Shape max_min2.cc
by Elena Mazzi 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-11-14 14:29:37 Modified files: tests/BD_Shape : max_min2.cc Log message: Added two tests that show a bug on BD_Shape::maximize() when the inhomogeneous term of expression is null. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/max_min2.cc.di…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-14 12:02:40 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: By_Reference.java Polyhedron.java Log message: Implemented all the widening methods in the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/By_R… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/Java ppl_interface_generator_ja ...
by Patricia Hill 14 Nov '06

14 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-14 09:10:58 Added files: interfaces/Java: ppl_interface_generator_java_dat.m4 interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java.m4 ppl_interface_generator_java_classes_java_code.m4 Log message: Files needed for generating Polyhedron.java Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-13 21:47:54 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Generator.java Polyhedron.java Log message: Implemented the other two missing versions of `minimize()' and `maximize()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Gene… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src Boundary.defs.hh Interval.defs.hh comp ...
by Abramo Bagnara 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-13 19:35:36 Modified files: src : Boundary.defs.hh Interval.defs.hh compiler.hh Log message: Added some compile time check. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/compiler.hh.diff?cvsroot=…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-13 19:06:50 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: Coefficient.java Makefile.am Polyhedron.java Added files: interfaces/Java/ppl_java: By_Reference.java Log message: Implemented By_Reference class that allows to pass object by reference in Java world. Implemented one version of `maximize' and `minimize'. Implemented `equals'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/By_R… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Coef… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/interfaces/Java jni/ppl_java_Polyhedron.cc ...
by Andrea Cimino 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-13 16:26:15 Modified files: interfaces/Java/jni: ppl_java_Polyhedron.cc interfaces/Java/ppl_java: Polyhedron.java Log message: Added the methods space_dimension() and affine_dimension() to Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Poly…

1 0

ppl/src Pointset_Powerset.defs.hh
by Enea Zaffanella 13 Nov '06

13 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-13 12:33:58 Modified files: src : Pointset_Powerset.defs.hh Log message: Fixed a Doxygen comment to use the brief style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0