Jeromtagons is unsound for floating point numbers due to rounding errors

viperproject / sample

Other

0 stars 0 forks source link

Jeromtagons is unsound for floating point numbers due to rounding errors #74

Open viper-admin opened 8 years ago

viper-admin commented 8 years ago

Created by bitbucket user lbrutschy on 2016-09-08 20:41 Last updated on 2016-09-09 15:06

One one of my tests, the Jeromtagons are going bottom, while Aprontagons infer the correct results. Likely, it has something to do with rounding errors for doubles.

To reproduce, replace all instances of "Apron.FloatOptOctagons" in "TouchRun" by "DoubleOctagons".

Then run Main.scala in TouchDevelopPreprocessing with the path to ybcy.td

viper-admin commented 8 years ago

Bitbucket user caterinaurban commented on 2016-09-08 20:48

Jeromtagons. Nice :D

viper-admin commented 8 years ago

Bitbucket user lbrutschy on 2016-09-09 15:06:

edited the title