September 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 12:03:08 Modified files: interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: Commented test, uncommented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 11:39:20 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Enable omega_reduce() in all the interfaces for the powerset domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces/Java/jni ppl_interface_generato ...
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 11:21:56 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 Log message: When translating a C++ std::pair object into a Java Pair object, avoid useless copies of the pair elements (use swaps instead). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter…

1 0

ppl/tests/Box difference1.cc
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 11:13:20 Modified files: tests/Box : difference1.cc Log message: Enabled test15 (that was witnessing a bug, now corrected). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

ppl/src Box.templates.hh
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 11:12:22 Modified files: src : Box.templates.hh Log message: Corrected a bug (spotted by Pat) on the difference_assign method. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/tests/Box difference1.cc
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 11:04:20 Modified files: tests/Box : difference1.cc Log message: Added commented test that shows an assertion failure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/difference1.cc.diff…

1 0

ppl/interfaces/C C_interface.dox
by Enea Zaffanella 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-26 10:42:15 Modified files: interfaces/C : C_interface.dox Log message: Added hand-crafted documentation for the ad-hoc types and functions provided by Pointset_Powerset. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/C_interface.dox.…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 10:19:58 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_procedure_generators.m4 interfaces/Java: ppl_interface_generator_java_dox_code.m4 interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 ppl_interface_generator_ocaml_procedure_generators.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_dox_code.m4 ppl_interface_generator_prolog_hh_code.m4 interfaces/Prolog/tests: ppl_interface_generator_prolog_generated_test_pl_code.m4 Log message: Completed the code and main changes needed for linear_partition and approximate_partition in all the interfaces. Now the methods' classes are always simple and the partition is always in the Pointset_Powerset<NNC_Polyhedron> (if the domain is not Grid) or Pointset_Powerset<Grid> for the grid domain. Simple tests for these new methods added for the different interfaces. 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/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge… 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/jni/ppl_inter… 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/tests/ppl_int… 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_interfac… 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_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_in… 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_interfa… 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/tests/ppl_i…

1 0

[Debian] testresults for 0.10pre27
by Arthur Loiret 26 Sep '08

26 Sep '08

Hi! You'll find here [0] the testresults for snapshot 0.10pre27, see « last log » link. I'll upload an arch-indep only (ie. only the -doc package) of 0.10pre30 this week-end, and then hopefully have public amd64 build log as well. [0] http://buildd.debian.org/~jeroen/status/package.php?p=ppl Arthur.

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 26 Sep '08

26 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-26 00:07:18 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 Log message: Disable linear_partition methods again until the Prolog tests have been adapted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0