search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

[bugfix] zonotope_aff_alloc_init minor #50

Closed ljlin closed 5 years ago

ljlin commented 5 years ago

Hi Gagan.

Thank you for your quick update on zonotope. We found this bug in our use. We found that the correction can have a significant impact on the accuracy of the analysis in our experiments.

Thanks, Jianlin

GgnDpSngh commented 5 years ago

Hi Jianlin,

Thanks for spotting the precision loss. The issue seems to affect results when multiplying an affine form with the interval [0,0], the fix you suggested effects parts of the Join code, so I have to modify it a bit to make sure everything works. Let me know if there are any other issues.

Cheers, Gagandeep Singh