June 2006 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron_public.cc
by Matthew Mundell 16 Jun '06

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-16 16:47:24 Modified files: src : Polyhedron_public.cc Log message: Update add_congruences(cgs) and add_congruence(cg) to strong normalize constructed constraints before adding them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/interfaces/C ppl_interface_generator_c_cc_ ...
by Patricia Hill 16 Jun '06

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-16 15:27:39 Modified files: interfaces/C : ppl_interface_generator_c_cc_code.m4 Log message: Revised C code for including topology in compound C++ class names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0

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

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-16 14:18:33 Modified files: tests/Grid : directproduct1.cc Log message: Add tests of contains() and strictly_contains(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0

ppl/src Direct_Product.inlines.hh Direct_Produ ...
by Matthew Mundell 16 Jun '06

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-16 14:18:17 Modified files: src : Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Implement contains() and strictly_contains(). Patches: 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 16 Jun '06

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-16 13:05:53 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_systems.m4 interfaces/Prolog/Ciao: ppl_interface_generator_ciao_pl.m4 interfaces/Prolog/XSB: ppl_interface_generator_xsb_H.m4 Log message: Fixed an old bug affecting Ciao and XSB interfaces. The bug was in the handling of the list separator. Now a counter for the list is passed as as argument and the separator is suppressed when the counter is 0. 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/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/Ciao/ppl_in… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_int…

1 0

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

16 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-16 09:55:20 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 Log message: Completed basic changes for Powerset_Polyhedron<...>. Compilation only tested (in the Prolog interface) for Powerset_Polyhedron<Polyhedron> for the predicates "ppl_new_C_Polyhedra_Powerset_Polyhedron_from_space_dimension" and "ppl_new_NNC_Polyhedra_Powerset_Polyhedron_from_space_dimension". 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/Prolog/ppl_interfa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

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

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-15 23:29:52 Modified files: tests/Grid : directproduct1.cc Log message: Replace the use of Direct_Product with a local typedef, Product. Add tests of the remaining predicate methods (is_topologically_closed(), etc). Ensure that each of the defined adding methods (add_congruence(), etc) is used at least once in the file. 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 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-15 23:29:30 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Define more of the adding methods (add_congruence(), etc). Take out the constraint parameter congruence adding method declarations. Correct some of the predicate methods. Add to Open_Product the remaining constructors, ~Open_Product() and operator=. Define Open_Product::is_universe(). 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 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-15 17:56:04 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 Log message: Added provision for prefixing topology wherever in the C++ class name the class "Polyhdedron". Only tested for the basic Polyhedron class and only in the Prolog interface code. 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/Prolog/ppl_interfa…

1 0

ppl/tests/Grid directproduct2.cc
by Matthew Mundell 15 Jun '06

15 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-15 16:16:12 Modified files: tests/Grid : directproduct2.cc Log message: Typedef Product to Open_Product instead of Reduced_Product. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.…

1 0