D1.1 (pdf): Requirement Analysis

D1.2 (pdf, tar.gz): Set of Benchmarks

D1.3 (pdf, tar.gz): Benchmark Environment (OCI)

D4.1 (tar.gz): Floating Point Arithmetic in Alt-Ergo

D4.2 (pdf, tar.gz): Preliminary Implementation of the SOPRANO-solver (Popop)

D2.1 and D2.2 (pdf) : Combination frameworks

D3.1 (pdf): Floating Point Arithmetic Solver