Mentions légales du service

Skip to content

Convert the floating-point realizations to Flocq.BinarySingleNaN.

Guillaume Melquiond requested to merge flocq-single-nan into master

As a side effect, this also takes care of the compatibility with Flocq 4. But this bumps the lower bound on both Flocq (3.4) and Coq (8.11) to enable the realizations.

Merge request reports