Skip to content

Coq 8.13.1
Compare
Choose a tag to compare
@gares gares released this 22 Feb 13:32
· 10057 commits to master since this release
V8.13.1
This tag was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.
7f08a61
This commit was signed with the committer’s verified signature.
gares Enrico Tassi
GPG key ID: 250533CCA29B764F
Learn about vigilant mode.

Hotfix:

  • Fix arities of VM opcodes for some floating-point operations that could cause memory corruption

Notes regarding the macOS installer: This installer is only compatible with macOS 10.13 or higher. Because the application is signed but not "notarized", on macOS 10.15 (Catalina), it won't open by default, unless you right-click and chose "Open". Cf. coq/platform#51 to learn more.

Notes regarding the Windows installer: The "VST" component of the installer is currently empty. We are working on a fix. Update: installers are now complete.

Assets 6
Loading