[PPL-devel] Narrowing for polyhedral domains
Zhoulai
zell08v at orange.fr
Wed Nov 7 16:34:51 CET 2012
Dear all,
This may be a silly question. But I would like to know why narrowing for
polyhedral domains is not implemented in PPL? I recently experienced many
cases where analysis using Int64_Box gives more precise results than
NNC_Polyhedral because the former provides a narrowing.
What do you think?
Thanks.
Zell.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20121107/715ca0ea/attachment.htm>
More information about the PPL-devel
mailing list