June 2006 - PPL-devel - BUGSENG Mailman

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

26 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-26 19:47:53 Modified files: tests/Grid : directproduct1.cc Log message: Add directive GRID_IS_D1, for testing with Grid as the first component. In test15 and test16 compare the congruence systems via temporary grids. 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 26 Jun '06

26 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2006-06-26 19:45:43 Modified files: src : Direct_Product.templates.hh Direct_Product.inlines.hh Direct_Product.defs.hh Log message: Add the system-returning methods to Open_Product so that they reduce the product before returning the system. Add C_Polyhedron specialisation to any methods already specialised for NNC_Polyhedron. 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 26 Jun '06

26 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: interfaces Changes by: hill(a)cs.unipr.it 2006-06-26 09:20:41 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: Improved the processing of the replacement lists for a pattern. Added 2 new application independent helper macros: - m4_nargs (definition taken from m4 documentation) - m4_arg (finds the n+1'st argument in a list of arguments - where n is the 1st argument) The alternative replacement is now also defined via an alternative list of replacements (the number and order must match the usual list of replacements for the given class). This change was triggered by the wish to have a "friend" pattern (see below). Introduced a new pattern "friend" and use in in the Prolog interface to use instead of the 2nd "class" in ppl_new_@CLASS@_from_@INTOPOLOGY@@CLASS@ ie., ppl_new_@CLASS@_from_@INTOPOLOGY@@FRIEND@. That is, a friend is a class that can be used to construct an element in the current class. Every class is declared to be a friend of itself. The intention is to add to more "friend"s for each class so that, for instance, Polyhedron will be a friend of BD_Shape. Note that the friend pattern is only used in the Prolog interface at the moment. 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

w3ppl/htdocs/Documentation ppl_citations.bib
by Roberto Bagnara 26 Jun '06

26 Jun '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-06-26 09:02:18 Modified files: htdocs/Documentation: ppl_citations.bib Log message: Added GopanR06. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/ppl_ci…

1 0

ppl/src Octagonal_Shape.defs.hh
by Enea Zaffanella 22 Jun '06

22 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-06-22 13:22:20 Modified files: src : Octagonal_Shape.defs.hh Log message: Using the new policy WRD_Extendend_Number_Policy when assertions are turned off. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.defs.hh.d…

1 0

ppl/src Checked_Number.defs.hh Checked_Number. ...
by Enea Zaffanella 22 Jun '06

22 Jun '06

CVSROOT: /cvs/ppl Module name: ppl Branch: octagons Changes by: zaffanella(a)cs.unipr.it 2006-06-22 13:21:39 Modified files: src : Checked_Number.defs.hh Checked_Number.inlines.hh Log message: Added new policy WRD_Extended_Number_Policy, to be used by weakly-relational domains when assertions are turned off. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Checked_Number.inlines.hh…

1 0

ppl/tests/Octagon removespacedims1.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:56:10 Modified files: tests/Octagon : removespacedims1.cc Log message: Corrected some inaccuracies. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/removespacedims…

1 0

ppl/tests/Octagon intersection1.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:52:40 Modified files: tests/Octagon : intersection1.cc Log message: Corrected some tests for Octagon::intersection_assign() according to the new guidelines. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/intersection1.c…

1 0

ppl/tests/Octagon generalizedaffineimage4.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:42:50 Modified files: tests/Octagon : generalizedaffineimage4.cc Log message: Erased a useless empty line. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/generalizedaffi…

1 0

ppl/tests/Octagon frompolyhedron1.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:28:41 Modified files: tests/Octagon : frompolyhedron1.cc Log message: Added some new tests on Octagonal_Shape<T>::Octagonal_Shape(const Polyhedron& ph, const Complexity_Class complexity). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagon/frompolyhedron1…

1 0