VCFloat release 2.4

This release compatible with Rocq 9 and with CompCert 3.16. No other significant changes from release 2.3.

VCFloat release 2.3

This release adjusts the Nans record to depend only on Flocq types, and not on VCFloat's own type. This makes the Nans structure compatible with other clients of Flocq such as libvalidsdp.

VCFloat 2.2

compatible with Coq 8.19 and VST 2.14

VCFloat release 2.1.1

Compatible with Coq Platform 2023.03; no other significant changes since release 2.1

VCFloat release 2.1

VCFloat version 2.1