[PPL-devel] ppl src/Octagonal_Shape.templates.hh tests/Oct ...
Barbara Quartieri
quartieri at cs.unipr.it
Thu Nov 2 15:21:12 CET 2006
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: quartieri at cs.unipr.it 2006-11-02 15:21:11
Modified files:
src : Octagonal_Shape.templates.hh
tests/Octagonal_Shape: boundedaffinepreimage1.cc
Log message:
Corrected the method bounded_affine_preimage() when `lb_expr' contains `var'.
Added some tests.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&r1=1.34&r2=1.35
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Octagonal_Shape/boundedaffinepreimage1.cc.diff?cvsroot=ppl&r1=1.1&r2=1.2
More information about the PPL-devel
mailing list