June 2006 - PPL-devel - BUGSENG Mailman

ppl/src Octagonal_Shape.templates.hh
by Barbara Quartieri 22 Jun '06

22 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-22 11:27:40 Modified files: src : Octagonal_Shape.templates.hh Log message: Corrected a bug in Octagonal_Shape<T>::CC76_narrowing_assign(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon cc76narrowing1.cc
by Barbara Quartieri 22 Jun '06

22 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-22 11:26:35 Modified files: tests/Octagon : cc76narrowing1.cc Log message: Added a new test on Octagonal_Shape<T>::CC76_narrowing_assign() that shows a bug in the code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/cc76narrowing1.…

1 0

ppl/tests/Grid directproduct1.cc
by Matthew Mundell 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-21 19:49:01 Modified files: tests/Grid : directproduct1.cc Log message: Insert is_disjoint() test test34 where the intersection of the products determines the outcome. Add a directive to control the product used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl/src Direct_Product.templates.hh Direct_Pro ...
by Matthew Mundell 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-21 19:46:54 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Convert the reduced flag methods to const methods. Update the predicate methods (is_empty(), etc) to first reduce the components. Update is_disjoint_from to consider the intersection of the two products. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-21 14:41:44 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/C : ppl_interface_generator_c_cc_code.m4 ppl_interface_generator_c_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Revised the way we handle compound domains (is the powerset and product domains). Where compound domains have Polyhedron as a component, the system creates two domains, one where Polyhedron is prefixed by C and the other where it is prefixed by NNC. Note that this change has been made so as _not_ to affect the simple domain Polyhedron. As requested, both the user name and the C++ name have the topology C and NNC inserted just before the string "Polyhedron". Note though this still assumes that every component = Polyhedron has the same topology. Automatically generating different topologies for these components will be difficult and not really practical or useful. Simplified the way class name patterns are replaced by the actual name. The class patterns are now replaced as part of the main list of replacements. 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/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/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…

1 0

ppl/src Direct_Product.templates.hh Direct_Pro ...
by Matthew Mundell 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-21 13:11:14 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Add a reduced flag to Open_Product. Add reduction function propagate_constraints_reduce and update standard_reduce to call it. Update Open_Product is_bounded to call reduce() instead of propagating constraints directly. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.templates.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di…

1 0

ppl/src Octagonal_Shape.templates.hh
by Enea Zaffanella 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-06-21 12:59:36 Modified files: src : Octagonal_Shape.templates.hh Log message: Removed an efficiency bug (repeated allocations) in the strong closure and strong coherence methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates…

1 0

ppl/tests/Octagon universe1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 12:01:02 Modified files: tests/Octagon : universe1.cc Log message: Added some new tests on Octagonal_Shape<T>::is_universe(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/universe1.cc.di…

1 0

ppl/tests/Octagon removespacedims1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:59:47 Modified files: tests/Octagon : removespacedims1.cc Log message: Added some new tests on Octagonal_Shape<T>::remove_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims…

1 0

ppl/tests/Octagon relatwithgen1.cc
by Barbara Quartieri 21 Jun '06

21 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: quartieri(a)cs.unipr.it 2006-06-21 11:58:38 Modified files: tests/Octagon : relatwithgen1.cc Log message: Added some new tests on Octagonal_Shape<T>::relation_with(const Generator& g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/relatwithgen1.c…

1 0