September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron maxspacedim1.cc
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 09:38:39 Modified files: tests/Polyhedron: maxspacedim1.cc Log message: Avoid testing with non supported floating point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/maxspacedim1…

1 0

ppl/tests BD_Shape/affinepreimage1.cc BD_Shape ...
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 09:15:10 Modified files: tests/BD_Shape : affinepreimage1.cc containsintegerpoint1.cc maxspacedim1.cc tests/Octagonal_Shape: affinepreimage1.cc containsintegerpoint1.cc maxspacedim1.cc Log message: Avoid using non supported floating point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinepreimage… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/containsintege… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/maxspacedim1.c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affinep… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/contain… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/maxspac…

1 0

ppl/tests/BD_Shape closure1.cc
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 09:14:55 Modified files: tests/BD_Shape : closure1.cc Log message: Generalized so as to avoid using non supported floating point types. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/closure1.cc.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-29 09:11:59 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Java/jni: ppl_java_common.cc ppl_java_common.defs.hh ppl_java_globals.cc interfaces/Java/parma_polyhedra_library: MIP_Problem.java Makefile.am interfaces/OCaml: ppl_interface_generator_ocaml_mli.m4 ppl_ocaml_common.cc ppl_ocaml_globals.ml ppl_ocaml_types.ml interfaces/OCaml/tests: test1.ml interfaces/Prolog: ppl_interface_generator_prolog_procedure_generators.m4 ppl_prolog_common.cc ppl_prolog_common.defs.hh interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P interfaces/Prolog/tests: pl_check.pl Added files: interfaces/Java/parma_polyhedra_library: Control_Parameter_Name.java Control_Parameter_Value.java Log message: The new methods for MIP_Problem for the control_parameters now added to the Java, OCaml and Prolog interfaces. Tests for these methods for the OCaml and Prolog interfaces added. Added a new macro to ppl_interface_generator_common.m4 that finds the difference of two sequences - as yet unused. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene… 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/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_co… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_gl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml_ty… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/xsb_pl_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Patricia Hill 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-29 09:01:16 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 Log message: Corrected schema names for the partition methods and fixed a bug in the code for approximate_partition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/tests/MIP_Problem mipproblem3.cc
by Enea Zaffanella 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-29 08:36:08 Modified files: tests/MIP_Problem: mipproblem3.cc Log message: Test 09 overflows with 64 bit integers too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3…

1 0

ppl/tests ppl_test.cc
by Roberto Bagnara 28 Sep '08

28 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-28 18:19:51 Modified files: tests : ppl_test.cc Log message: Improved check_distance(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo…

1 0

ppl/tests/MIP_Problem mipproblem3.cc
by Enea Zaffanella 28 Sep '08

28 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-28 17:37:36 Modified files: tests/MIP_Problem: mipproblem3.cc Log message: Modified known results of tests 05 and 08; for test 05, modified feasible region so as to have a unique optimal solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem3…

1 0

ppl/tests/MIP_Problem mipproblem1.cc
by Enea Zaffanella 28 Sep '08

28 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-28 17:23:34 Modified files: tests/MIP_Problem: mipproblem1.cc Log message: Minor modification to the feasible region for test06 so as to have a unique optimal solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/mipproblem1…

1 0

ppl/tests ppl_test.cc
by Enea Zaffanella 28 Sep '08

28 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-28 17:01:38 Modified files: tests : ppl_test.cc Log message: Avoid a division-by-zero error when printing +inf in check_distance. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.cc.diff?cvsroo…

1 0