September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests/Box propagateconstraints2.cc
by Enea Zaffanella 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-15 11:10:17 Modified files: tests/Box : propagateconstraints2.cc Log message: Test known to overflow whe using 16 bit integers. CVS- ---------------------------------------------------------------------- Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/interfaces/Prolog Ciao/ciao_pl_check.pl XS ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 10:51:57 Modified files: interfaces/Prolog/Ciao: ciao_pl_check.pl interfaces/Prolog/XSB: xsb_pl_check.P interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Ensure predicates such as ppl_set_rounding_for_PPL that are used and tested in pl_check.pl are in the module/import lists for Ciao and XSB. Remove the bounding box predicates that are no longer generated from the same lists. Patches: 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/ppl_i…

1 0

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

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 10:27:24 Modified files: interfaces : ppl_interface_generator_common_procedure_generators.m4 interfaces/C : ppl_c_implementation_common.cc ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 ppl_interface_generator_c_procedure_generators.m4 interfaces/OCaml: ppl_interface_generator_ocaml_ml_code.m4 interfaces/Prolog: ppl_interface_generator_prolog_cc_code.m4 ppl_interface_generator_prolog_hh_code.m4 interfaces/Prolog/tests: pl_check.pl Log message: Remove the procedures new_..._from_bounding_box, new_..._from_covering_box and the get_bounding_box and get_covering_box from the interfaces. Bug in the increment/decrement iterator method in the C interface fixed. 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_c_implementa… 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/OCaml/ppl_interfac… 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/pl_ch…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 09:13:39 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Fixed some more bugs in the C interface code. Patches: 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…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 15 Sep '08

15 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-15 08:28:30 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_h_code.m4 Log message: Added code for dereferencing the iterator for a pointset_powerset. Patches: 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…

1 0

ppl/tests/Box Makefile.am
by Roberto Bagnara 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-14 22:24:34 Modified files: tests/Box : Makefile.am Log message: Previous changes reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box propagateconstraints2.cc
by Roberto Bagnara 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-14 22:24:11 Modified files: tests/Box : propagateconstraints2.cc Log message: Temporarily make sure the test always succeeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/propagateconstraint…

1 0

ppl/tests/Box Makefile.am
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 20:47:16 Modified files: tests/Box : Makefile.am Log message: Completing the change to disable propagateconstraints2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/tests/Box Makefile.am
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 20:31:31 Modified files: tests/Box : Makefile.am Log message: Temporarily disable test propagateconstraints2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Box/Makefile.am.diff?cv…

1 0

ppl/interfaces/OCaml/tests ppl_ocaml_tests_common
by Enea Zaffanella 14 Sep '08

14 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-09-14 19:24:15 Modified files: interfaces/OCaml/tests: ppl_ocaml_tests_common Log message: Applied minimal changes to let the tests succeed according to the new semantics for constraint/congruence addition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_oc…

1 0