Published November 21, 2020
| Version v1
Software
Open
IGen: An Interval Compiler for Sound Floating Point Computations (CGO 2021 Artifact)
Authors/Creators
Description
The artifact is in the form of a virtual machine running Ubuntu 18.04. It contains full source code of IGen interval compiler, benchmarks and scripts for reproducing main experiments of the paper "An Interval Compiler for Sound Floating Point Computations".
Files
Files
(6.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c0abb7903893b54738f8ffee3a9af006
|
6.6 GB | Download |
|
md5:4cd8b1962bd6d38bfa3e529fcd481dce
|
2.2 kB | Download |
|
md5:eeaa6f0c7568723c3529443ecda8fa50
|
5.8 kB | Download |