June 2006 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/YAP ppl_yap.cc
by Roberto Bagnara 30 Jun '06

30 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-30 20:37:10 Modified files: interfaces/Prolog/YAP: ppl_yap.cc Log message: Repeated inclusion removed. Useless declaration and initialization of `a_throw' removed as well. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/ppl_yap…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 30 Jun '06

30 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-30 19:04:35 Modified files: interfaces : ppl_interface_generator_common_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 code for widening so that the supporting methods are not needed and removed. The limited and bounded options for extrapolation are now coded as a single pattern. Changes for schematising the limited and bounded options still to be done in the C interface. 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/ppl_interfa…

1 0

ppl/interfaces/Prolog/YAP yap_cfli.h yap_cfli.ic
by Roberto Bagnara 30 Jun '06

30 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-30 17:49:22 Added files: interfaces/Prolog/YAP: yap_cfli.h yap_cfli.ic Log message: Started drafting the YAP Prolog Common Foreign Language Interface. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/yap_cfl…

1 0

ppl/interfaces/Prolog/SWI swi_cfli.cc swi_cfli ...
by Roberto Bagnara 30 Jun '06

30 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: bagnara(a)cs.unipr.it 2006-06-30 16:59:00 Modified files: interfaces/Prolog/SWI: swi_cfli.cc swi_cfli.h swi_cfli.ic Log message: Little improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_cfl…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 30 Jun '06

30 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-30 15:10:42 Modified files: interfaces : 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_code.m4 Log message: Separate patterns for widening and extrapolation to give more flexibility. 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/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…

1 0

ppl/src Direct_Product.templates.hh Grid.inlin ...
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 23:51:42 Modified files: src : Direct_Product.templates.hh Grid.inlines.hh Grid.templates.hh Grid_Generator.defs.hh Log message: Missing inclusions added. 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/Grid.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.templates.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.di…

1 0

ppl/src Congruence.defs.hh Polyhedron.defs.hh
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 23:35:41 Modified files: src : Congruence.defs.hh Polyhedron.defs.hh Log message: Missing inclusions added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/tests/Polyhedron bug1.cc bug1.dat
by Roberto Bagnara 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-06-29 23:16:34 Removed files: tests/Polyhedron: bug1.cc bug1.dat Log message: The situation exhibited by bug1.cc and bug1.dat has been clarified (not a bug, but Constraint::OK() needed improving). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/bug1.dat.dif…

1 0

ppl/src globals.defs.hh Direct_Product.templat ...
by Matthew Mundell 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-29 18:59:39 Modified files: src : globals.defs.hh Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Improve some FIXMEs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsr… 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/tests/Grid directproduct1.cc
by Matthew Mundell 29 Jun '06

29 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-29 18:38:30 Modified files: tests/Grid : directproduct1.cc Log message: Add the ability to test with C_Polyhedron as the Polyhedral component. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.…

1 0