Benchmarks for primitive-floats in Coq

This repo gathers benchmarks accompanying the primitive-floats implementation of binary64 floating-point arithmetic in Coq.

See the README.md files in:

• the random_posdef_matrices/matrices subdirectory for ValidSDP benchmarks;
• the coq-interval/benchmarks subdirectory for CoqInterval benchmarks.