Skip to content

Releases: VeriNum/vcfloat

Release list

VCFloat release 2.4.1

VCFloat release 2.4.1 Latest
Latest

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 06 Apr 14:46
v2.4.1
0b7dce7

Minor bug fixes and improvements.
However, fixing issue #32 means that this version is not quite compatible with versions 2.4 and before, because now some subgoals in client proofs won't be needed (i.e., client proofs will get "No such subgoal" message).

Assets 2
Loading

VCFloat release 2.4

VCFloat release 2.4 Pre-release
Pre-release

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 14 Nov 16:20
v2.4
63df159

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

Loading

VCFloat release 2.3

VCFloat release 2.3

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 10 Feb 15:59
v2.3
407b658
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

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.

Loading

VCFloat 2.2

VCFloat 2.2

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 21 Mar 13:07
v2.2
10caf1c

compatible with Coq 8.19 and VST 2.14

Loading

VCFloat release 2.1.1

VCFloat release 2.1.1

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 31 Aug 19:28
v2.1.1
75d8756

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

Loading

VCFloat release 2.1

VCFloat release 2.1

Choose a tag to compare

View all tags
@andrew-appel andrew-appel released this 13 Apr 17:49
2.1
e676bfd 
VCFloat version 2.1
Loading