Published November 21, 2020
| Version v2
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".