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