[PPL-devel] ppl src/Grid.defs.hh src/Grid_Generator.defs.h ...
Patricia Hill
hill at cs.unipr.it
Tue Mar 14 11:16:02 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill at cs.unipr.it 2006-03-14 11:16:01
Modified files:
src : Grid.defs.hh Grid_Generator.defs.hh
Grid_Generator.inlines.hh Grid_widenings.cc
tests/Grid : Makefile.am
Added files:
tests/Grid : limitedextrapolation2.cc widening2.cc
Log message:
Added new methods generator_widening_assign()
and limited_generator_widening_assign() as defined in draft paper.
Added method is_equal_at_dimension() for grid generators
which is a clone of the existing method for congruences.
widening2.cc and limitedextrapolation2.cc check the new widening.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.defs.hh.diff?cvsroot=ppl&r1=1.10&r2=1.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_widenings.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/limitedextrapolation2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/widening2.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?cvsroot=ppl&r1=1.27&r2=1.28
More information about the PPL-devel
mailing list