February 2008 - PPL-devel - BUGSENG Mailman

ppl/interfaces interfaced_boxes.hh
by Roberto Bagnara 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-08 22:13:01 Modified files: interfaces : interfaced_boxes.hh Log message: Added declarations for the native integer boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/interfaced_boxes.h…

1 0

ppl/interfaces interfaced_boxes.hh Prolog/ppl_ ...
by Roberto Bagnara 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-08 21:58:51 Modified files: interfaces : interfaced_boxes.hh interfaces/Prolog: ppl_prolog_common.icc interfaces/Prolog/Ciao: Makefile.am interfaces/Prolog/GNU: Makefile.am interfaces/Prolog/SICStus: Makefile.am interfaces/Prolog/SWI: Makefile.am interfaces/Prolog/XSB: Makefile.am interfaces/Prolog/YAP: Makefile.am Log message: Include interfaced_boxes.hh into all Prolog interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/interfaced_boxes.h… 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/Ciao/Makefi… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/GNU/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Mak… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefil… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/YAP/Makefil…

1 0

ppl/interfaces interfaced_boxes.hh
by Patricia Hill 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-08 14:40:55 Modified files: interfaces : interfaced_boxes.hh Log message: Fixed a missing ">". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/interfaced_boxes.h…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-08 13:31:51 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Minor technical improvements to the m4 code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl/interfaces Makefile.am interfaced_boxes.hh
by Roberto Bagnara 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-08 13:21:58 Modified files: interfaces : Makefile.am Added files: interfaces : interfaced_boxes.hh Log message: New header file (to be completed) providing declarations for the Box instantiations offered by the foreign interfaces. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/interfaced_boxes.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Makefile.am.diff?c…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-08 13:07:29 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 Log message: In the last commit, the message said "the change has a "fixme" since this indicates that the way the replacements for all patterns is handled needs improving and that this local change should be made more general." This is now fixed and the main replacement macros now incorporate this improvement. Improved the specification of the replacements for the binary operators for the Pointset_Powerset domains. A few minor improvements to avoid unnecessary computations. 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…

1 0

ppl/interfaces ppl_interface_generator_common. ...
by Patricia Hill 08 Feb '08

08 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-02-08 11:38:37 Modified files: interfaces : ppl_interface_generator_common.m4 ppl_interface_generator_common_dat.m4 Log message: The code for intersecting sequences of comma separated strings improved so that the same basic code is used for intersecting both 2 sequences and 3 sequences. The last changes introduced a bug for some products (such as Grid x BD_Shape<...> products. This is now fixed, but the change has a "fixme" since this indicates that the way the replacements for all patterns is handled needs improving and that this local change should be made more general. 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…

1 0

ppl/src Interval.defs.hh
by Roberto Bagnara 07 Feb '08

07 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-07 16:29:42 Modified files: src : Interval.defs.hh Log message: Added the documentation for the difference_assign() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh Interval.defs.hh Inte ...
by Roberto Bagnara 07 Feb '08

07 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-07 16:20:40 Modified files: src : Box.templates.hh Interval.defs.hh Interval.inlines.hh Log message: Added declarations and empty implementations for Interval<To_Boundary, To_Info>::difference_assign(const From&) and Interval<To_Boundary, To_Info>::difference_assign(const From1&, const From2&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.inlines.hh.diff?…

1 0

ppl/src Bit_Row.defs.hh Bit_Row.inlines.hh
by Roberto Bagnara 07 Feb '08

07 Feb '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-02-07 15:15:43 Modified files: src : Bit_Row.defs.hh Bit_Row.inlines.hh Log message: Added void set_difference(const Bit_Row&, const Bit_Row&, Bit_Row&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.defs.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.inlines.hh.diff?c…

1 0