October 2006 - PPL-devel - BUGSENG Mailman

ppl/tests BD_Shape/affinedimension1.cc Octagon ...
by Enea Zaffanella 16 Oct '06

16 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-10-16 14:24:51 Modified files: tests/BD_Shape : affinedimension1.cc tests/Octagonal_Shape: affinedimension1.cc Log message: A bug in affine_dimension() is affecting both BD_Shape and Octagonal_Shape. The bug causes an assertion to be violated when the shape is zero-dimensional and universe. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimensio… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/affined…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc
by Roberto Bagnara 16 Oct '06

16 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-10-16 12:31:04 Modified files: interfaces/OCaml: ppl_ocaml.cc Log message: Invocations of Coefficient constructors fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc…

1 0

ppl/tests/BD_Shape affinedimension1.cc
by Patricia Hill 16 Oct '06

16 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-16 09:51:14 Modified files: tests/BD_Shape : affinedimension1.cc Log message: Test 11 shows a bug in affine_dimension() when the BD_Shape object is constructed from an empty constraint system. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/affinedimensio…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 13 Oct '06

13 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-13 15:44:46 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: Added code for producing noisy output when tests fail. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/tests/BD_Shape Makefile.am boundedaffineim ...
by Elena Mazzi 13 Oct '06

13 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-13 11:56:15 Modified files: tests/BD_Shape : Makefile.am Added files: tests/BD_Shape : boundedaffineimage1.cc Log message: Added new tests on the method BD_Shape::bounded_affine_image(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/boundedaffinei… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/BD_Shape/Makefile.am.di…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.templates.hh
by Elena Mazzi 13 Oct '06

13 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mazzi(a)cs.unipr.it 2006-10-13 11:53:40 Modified files: src : BD_Shape.defs.hh BD_Shape.templates.hh Log message: Defined the new method: BD_Shape<T>::bounded_affine_image(var, lb_expr, ub_expr, den). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 13 Oct '06

13 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-13 09:38:23 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 Log message: Cut_and_paste error fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 13 Oct '06

13 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-13 09:35:20 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code Log message: Added tests and test data for strict constraints and closure points for NNC polyhedra. Extended test for building a bounding/covering box. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 12 Oct '06

12 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-12 22:56:46 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_extra_code ppl_interface_generator_predicate_check_pl.m4 Log message: More improvements to the test framework and added generic tests for new_@CLASS@_from_@BOX@ and the swap procedure. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0

ppl/interfaces/Prolog/tests ppl_interface_gene ...
by Patricia Hill 11 Oct '06

11 Oct '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-10-11 18:47:47 Modified files: interfaces/Prolog/tests: ppl_interface_generator_predicate_check_code.m4 ppl_interface_generator_predicate_check_pl.m4 Log message: Added some code for future use and development of the test code... Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_i…

1 0