stainless-float-benchmarks

Floating-point benchmarks for Stainless.

• benchmarks/key contains Scala translations of floating-point benchmarks from the KeY verifier.
• benchmarks/fdlibm contains benchmarks showing lemmas of a Scala translation of the FdLibm library.
• benchmarks/empirical contains benchmarks based on an empirical code study; some of these depend on benchmarks/empirical/utils.scala.