August 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-19 15:44:26 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_procedure_generators.m4 Log message: Updated the list of missing procedures for the OCaml interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-19 15:38:45 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: More bugs fixed in the specialized code for the powerset domains and more tests added. Patches: 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…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-19 15:08:34 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 ppl_ocaml_tests_common test1.ml Log message: Added code for generating some missing methods; fixed some bugs in the ocaml interface code; extended the generated tests to cover most methods: tests for special methods for the powerset domains still missing. Patches: 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/OCaml/tests/ppl_oc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/test1.…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-19 11:35:35 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 Log message: Several tests added and code for some missing methods added. Every test now checks after the operation that the domain element(s) are ok and prints "success" if it is and "failed" otherwise. Patches: 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…

1 0

ppl/interfaces/OCaml ppl_interface_generator_o ...
by Patricia Hill 19 Aug '08

19 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-19 09:07:18 Modified files: interfaces/OCaml: ppl_interface_generator_ocaml_ml_code.m4 ppl_interface_generator_ocaml_mli_code.m4 interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml_code.m4 ppl_ocaml_tests_common Log message: Improved the code for generating tests. Fixed a bug in the code generation for OCaml for the limited_..._extrapolation_assign method. Patches: 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/OCaml/tests/ppl_oc…

1 0

ppl/interfaces/OCaml/tests Makefile.am ppl_int ...
by Patricia Hill 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-08-18 23:01:26 Modified files: interfaces/OCaml/tests: Makefile.am Added files: interfaces/OCaml/tests: ppl_interface_generator_ocaml_test_ml.m4 ppl_interface_generator_ocaml_test_ml_code.m4 ppl_ocaml_tests_common Log message: Code for generating tests for the OCaml interface. This is an initial series of generic tests; to be improved and extended to include all the ppl user methods. Patches: 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/OCaml/tests/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/ppl_oc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/tests/Makefi…

1 0

ppl src/Polyhedron_public.cc tests/Polyhedron/ ...
by Roberto Bagnara 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-08-18 22:45:29 Modified files: src : Polyhedron_public.cc tests/Polyhedron: interspreservenlarge1.cc Log message: Drafted some code (to be completed with the implementation of the indicated heuristics) to handle the case of the empty intersection in Polyhedron::intersection_preserving_enlarge_assign(const Polyhedron& y). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src Polyhedron_public.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 14:52:03 Modified files: src : Polyhedron_public.cc Log message: For method intersection_preserving_enlarge_assign(), reverted to a simpler implementation that does not change this until time of return. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron interspreservenlarge1.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 13:47:27 Modified files: tests/Polyhedron: interspreservenlarge1.cc Log message: Added another test for intersection_preserving_enlarge_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/interspreser…

1 0

ppl/src Linear_System.cc
by Enea Zaffanella 18 Aug '08

18 Aug '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2008-08-18 13:46:30 Modified files: src : Linear_System.cc Log message: In method back_substitute(), avoid assuming that x.num_rows() >= 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Linear_System.cc.diff?cvs…

1 0