What compilation commands are required to reproduce Inferring Interval-Valued Floating-Point Preconditions?

[zuoyanzhang]

Inferring Interval-Valued Floating-Point Preconditions is a very interesting job and I would like to know which compilation commands I need to use to run it in the daisy framework, thanks a lot!

[malyzajko]

Hi! Please have a look at the artifact for the paper: https://zenodo.org/record/5727574#.ZFIF83ZBw-Q
That comes with the correct version of the code, as well as all of the scripts with command-line options etc.

[zuoyanzhang]

The page failed to open, is there any other way I can find out the content of the page? Thanks a lot

[malyzajko]

The artifact is big. But the page opens normally for me (just checked).