Skip to content

VST version 2.12
Compare
Choose a tag to compare
@andrew-appel andrew-appel released this 11 Apr 14:56
· 197 commits to master since this release
v2.12
32e772d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

The best way to install VST 2.12 is through the Coq Platform release 2023.03, or more recent.

New in this release:

  • entailer!! tactic that does not put so many propositions above the line, compared to entailer!. See the end of the entailer! chapter in the manual.
  • VSTlib, a new library of Verified Software Units; currently has interface to malloc/free library, math library, threads and locks libraries.
  • Compatible with Coq 8.16 and 8.17, and with CompCert 3.12.
Assets 2
Loading