November 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Java/tests Makefile.am ppl_inte ...
by Patricia Hill 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-21 11:47:50 Modified files: interfaces/Java/tests: Makefile.am ppl_interface_generator_java_test_java_code.m4 Log message: Added a test for affine and space dimension. Changed the Makefile.am so that make check runs the generated test. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Java/tests Makefile.am ppl_inte ...
by Andrea Cimino 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-21 11:28:54 Modified files: interfaces/Java/tests: Makefile.am ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: Fixed test generation. Allow Makefile to compile the generated Java source. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Andrea Cimino 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-21 10:48:08 Modified files: interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Fixed the m4 to build the test correctly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Java jni/Makefile.am jni/ppl_ja ...
by Andrea Cimino 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-21 10:04:36 Modified files: interfaces/Java/jni: Makefile.am ppl_java_common.cc ppl_java_common.hh interfaces/Java/ppl_java: C_Polyhedron.java Makefile.am Added files: interfaces/Java/jni: ppl_java_globals.cc interfaces/Java/ppl_java: MIP_Problem.java Optimization_Mode.java Parma_Polyhedra_Library.java Log message: Written an almost complete support for MIP_Problem. Written the class Parma_Polyhedra_Library to obtain version information about the library. 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/Makefile.… 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/MIP_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Opti… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Parm… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/C_Po… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/interfaces/Java/tests ppl_interface_genera ...
by Patricia Hill 21 Nov '06

21 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-21 09:16:53 Added files: interfaces/Java/tests: ppl_interface_generator_java_test_java.m4 ppl_interface_generator_java_test_java_code.m4 ppl_java_tests_common Log message: New files for generating the tests for the Java interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_jav…

1 0

ppl/src Octagonal_Shape.templates.hh Octagonal ...
by Roberto Bagnara 20 Nov '06

20 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: bagnara(a)cs.unipr.it 2006-11-20 17:59:10 Modified files: src : Octagonal_Shape.templates.hh Added files: src : Octagonal_Shape_incremental_strong_closure1.hh Octagonal_Shape_incremental_strong_closure10.hh Octagonal_Shape_incremental_strong_closure2.hh Octagonal_Shape_incremental_strong_closure3.hh Octagonal_Shape_incremental_strong_closure4.hh Octagonal_Shape_incremental_strong_closure5.hh Octagonal_Shape_incremental_strong_closure6.hh Octagonal_Shape_incremental_strong_closure7.hh Octagonal_Shape_incremental_strong_closure8.hh Octagonal_Shape_incremental_strong_closure9.hh Octagonal_Shape_strong_closure1.hh Octagonal_Shape_strong_closure2.hh Octagonal_Shape_strong_closure4.hh Log message: Alternate versions of Octagonal_Shape<T>::strong_closure_assign() and Octagonal_Shape<T>::incremental_strong_closure_assign(Variable). They can be selected at configure time by setting CPPFLAGS in the appropriate way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_increment… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape_strong_cl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Andrea Cimino 20 Nov '06

20 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-20 12:23:39 Modified files: interfaces/Java/jni: ppl_interface_generator_java_ppl_java_classes_cc_code.m4 ppl_java_common.hh Log message: In widening methods, ensure that the Java token can fit in a C++ unsigned integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_…

1 0

ppl/interfaces/Java/ppl_java Congruence.java C ...
by Andrea Cimino 20 Nov '06

20 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-20 11:25:04 Modified files: interfaces/Java/ppl_java: Congruence.java Constraint.java Generator.java Grid_Generator.java Linear_Expression.java Linear_Expression_Coefficient.java Linear_Expression_Difference.java Linear_Expression_Sum.java Linear_Expression_Times.java Linear_Expression_Unary_Minus.java Linear_Expression_Variable.java Log message: All the object are now built by copy, thanks to the implementation of the Cloneable interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cong… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Cons… 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/Grid… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Line…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 20 Nov '06

20 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-20 11:17:19 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 Log message: Revised the type of the token also for the widen methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0

ppl/interfaces/Java/ppl_java ppl_interface_gen ...
by Patricia Hill 20 Nov '06

20 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-20 11:13:55 Modified files: interfaces/Java/ppl_java: ppl_interface_generator_java_classes_java_code.m4 Log message: Revised the type of the token for the limited/bounded extrapolation method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_…

1 0