Published November 21, 2020
| Version v2
Software
Open
IGen: An Interval Compiler for Sound Floating-Point Computations (CGO 2021 Artifact)
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
(7.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:28bcb2da1b9682587b8a6fe637e08376
|
7.0 GB | Download |
|
md5:4cd8b1962bd6d38bfa3e529fcd481dce
|
2.2 kB | Download |
|
md5:43cfee280d2926af6024d7772f561b63
|
4.7 kB | Download |