September 2005 - PPL-devel - BUGSENG Mailman

ppl/tests/Polyhedron exceptions1.cc
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 16:37:15 Modified files: tests/Polyhedron: exceptions1.cc Log message: Added a new exception check for Polyhedra_Powerset::add_disjunct(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/exceptions1.…

1 0

ppl/src Polyhedra_Powerset.defs.hh Polyhedra_P ...
by Enea Zaffanella 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-21 16:30:16 Modified files: src : Polyhedra_Powerset.defs.hh Polyhedra_Powerset.inlines.hh Log message: The new method Polyhedra_Powerset::add_disjunct() now performs the required check for space dimension compatibility. The check uncovers a previously unnoticed (client) bug in Polyhedron/geomcovers1.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.defs.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl TODO
by Patricia Hill 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-09-21 16:29:45 Modified files: . : TODO Log message: Item: - In the Prolog interface there are predicates such as ppl_Polyhedron_remove_space_dimensions/2 that require an input list; if the argument is not a list, in the current version, the call to this predicate will fail. This needs to be changed so that an exception is thrown. removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.15…

1 0

ppl/interfaces/Prolog exceptions.hh ppl_prolog ...
by Patricia Hill 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2005-09-21 16:27:14 Modified files: interfaces/Prolog: exceptions.hh ppl_prolog.icc interfaces/Prolog/tests: pl_check.pl Log message: All Prolog interface predicates expecting a list as input from the user now throw an exception if the list is not nil terminated. (This could be a list of constraints, generators, intervals, dimensiona or dimension maps) That is interface predicates: ppl_new_Polyhedron_from_constraints ppl_new_Polyhedron_from_generators ppl_new_Polyhedron_from_bounding_box ppl_Polyhedron_add_constraints ppl_Polyhedron_add_constraints_and_minimize ppl_Polyhedron_add_generators ppl_Polyhedron_add_generators_and_minimize ppl_Polyhedron_limited_H79_extrapolation_assign ppl_Polyhedron_limited_H79_extrapolation_assign_with_token ppl_Polyhedron_bounded_H79_extrapolation_assign ppl_Polyhedron_bounded_H79_extrapolation_assign_with_token ppl_Polyhedron_limited_BHRZ03_extrapolation_assign ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_token ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_token ppl_Polyhedron_remove_space_dimensions ppl_Polyhedron_fold_space_dimensions ppl_Polyhedron_map_space_dimensions class not_a_nil_terminated_list added to exception.hh. Code for throwing an exception added to ppl_prolog.icc Exception thrown for not nil terminating input lists for each of the above. Also indentation of code improved. Tests for not nil terminating list exceptions, for each of the above predicates, added to pl_check.pl. Old tests for prolog failure when list is not nil terminated removed. Some tests in pl_check.pl reordered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.… 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/tests/pl_ch…

1 0

ppl/src Generator_System.cc
by Matthew Mundell 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-21 16:18:12 Modified files: src : Generator_System.cc Log message: In adjust_topology_and_space_dimension pass to add_zero_columns the result of adding to or subtracting from cols_to_be_added, instead of an increased or decreased cols_to_be_added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0

ppl/src BD_Shape.defs.hh
by Roberto Bagnara 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-21 14:41:15 Modified files: src : BD_Shape.defs.hh Log message: Out-of-date comments concerning the template parameter T removed from the documentation of class BD_Shape. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs…

1 0

ppl/tests/Polyhedron Makefile.am matasciidumpl ...
by Roberto Bagnara 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-21 14:37:41 Modified files: tests/Polyhedron: Makefile.am Added files: tests/Polyhedron: matasciidumpload1.cc Log message: Test Matrix::ascii_dump() and Matrix::ascii_load(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/matasciidump… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/Makefile.am.…

1 0

ppl ./configure.ac tests/Makefile.am
by Roberto Bagnara 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-21 14:25:43 Modified files: . : configure.ac tests : Makefile.am Log message: Previous change reverted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

Generator_System::adjust_topology_and_space_dimension
by Matthew Mundell 21 Sep '05

21 Sep '05

I'd like to make the following change to Generator_System::adjust_topology_and_space_dimension. In the first `if' statement of adjust_topology_and_space_dimension variable cols_to_be_added is only ever read. The method returns at the end of the `if' statement, so addition and subtraction can be used to calculate the add_zero_columns argument, instead of modifications to the value of cols_to_be_added. Does this sound like a sensible change? Index: src/Generator_System.cc =================================================================== RCS file: /cvs/ppl/ppl/src/Generator_System.cc,v retrieving revision 1.9 diff -u -r1.9 Generator_System.cc --- src/Generator_System.cc 21 Sep 2005 10:56:43 -0000 1.9 +++ src/Generator_System.cc 21 Sep 2005 10:57:53 -0000 @@ -48,12 +48,11 @@ if (num_rows() == 0) { if (num_columns() == 0) if (new_topology == NECESSARILY_CLOSED) { - add_zero_columns(++cols_to_be_added); + add_zero_columns(cols_to_be_added + 1); set_necessarily_closed(); } else { - cols_to_be_added += 2; - add_zero_columns(cols_to_be_added); + add_zero_columns(cols_to_be_added + 2); set_not_necessarily_closed(); } else @@ -68,21 +67,20 @@ // Nothing to do. break; default: - add_zero_columns(--cols_to_be_added); + add_zero_columns(cols_to_be_added - 1); } set_necessarily_closed(); } else { // Here old_topology == NECESSARILY_CLOSED // and new_topology == NOT_NECESSARILY_CLOSED. - add_zero_columns(++cols_to_be_added); + add_zero_columns(cols_to_be_added + 1); set_not_necessarily_closed(); } - else { + else // Here topologies agree. if (cols_to_be_added > 0) add_zero_columns(cols_to_be_added); - } assert(OK()); return true; }

2 1

ppl/src Generator_System.cc
by Matthew Mundell 21 Sep '05

21 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-21 12:56:43 Modified files: src : Generator_System.cc Log message: Align argument indentation of affine_image. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.cc.diff?…

1 0