search

malyzajko / daisy

Other
42 stars 10 forks source link

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

Open zuoyanzhang opened 1 year ago

zuoyanzhang commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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

malyzajko commented 1 year ago

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