June 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-06 21:47:08 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 Log message: Bug corrected. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/interfaces/Prolog ppl_interface_generator_ ...
by Patricia Hill 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-06 21:30:46 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: term_to_polyhedron_handle and similar are now with the class name (polyhedron) in capitals. Many of the BD_Shape procedures are now compiling ok in the Prolog interface. Patches: 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/tests/Grid directproduct1.cc
by Matthew Mundell 06 Jun '06

06 Jun '06

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

1 0

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

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-06 18:52:41 Modified files: tests/Grid : bhz03widening1.cc Log message: Correct spacing. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/bhz03widening1.cc.…

1 0

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

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-06 18:52:18 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Implement is_empty and is_universe. Specialise the reduce methods for Direct_Product<NNC_Polyhedron, Grid>. 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/Prolog ppl_interface_generator_ ...
by Patricia Hill 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-06 17:40:56 Modified files: interfaces/Prolog: ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: LP_Problem is no longer generated with the other classes. In the dat.m4 file, all the LP_Problem procedures are listed as "library procedures" for the system Prolog files. Patches: 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 Congruence.inlines.hh Congruence.defs.hh
by Matthew Mundell 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-06 16:05:36 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Log message: Take out the private version of modulus(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

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

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-06 15:59:32 Modified files: interfaces : ppl_interface_generator_common.m4 interfaces/Prolog: exceptions.hh ppl_interface_generator_prolog_dat.m4 ppl_interface_generator_prolog_icc.m4 ppl_interface_generator_prolog_icc_code.m4 ppl_interface_generator_prolog_icc_preamble Log message: In ppl_interface_generator_common.m4, revised `m4_get_code_schema' to correct a bug. In the Prolog directory Allow for exceptions for any user class when using ppl class handles. There is one common exception called ppl_handle_mismatch for all classes. The code for term_to_polyhedron_handle and similar is now replaced by a schema that generates this code for all the user classes. The procedure list has XBD_Shape everywhere and the user class BD_Shape<int8_t> added to the list of classes being tested. 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/exceptions.… 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… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interfa…

1 0

ppl/src Makefile.am Direct_Product.inlines.hh ...
by Matthew Mundell 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-06 14:09:03 Modified files: src : Makefile.am Direct_Product.inlines.hh Added files: src : Direct_Product.templates.hh Log message: Add Direct_Product.templates.hh. Move reduce() and ascii_load(s) there. Add inline keyword to all inline methods definitions. 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/Makefile.am.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh…

1 0

ppl/interfaces/C ppl_interface_generator_c_dat.m4
by Enea Zaffanella 06 Jun '06

06 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: zaffanella(a)cs.unipr.it 2006-06-06 13:37:30 Modified files: interfaces/C : ppl_interface_generator_c_dat.m4 Log message: Use @ instead of , to separate instances. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_ge…

1 0