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.