7 Nov
2012
7 Nov
'12
4:34 p.m.
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.