Skip to content

VST version 3.1beta2

Pre-release
Pre-release

Choose a tag to compare

View all tags
@mansky1 mansky1 released this 16 Jun 18:28
· 3 commits to vst_on_iris since this release
v3.1beta2
835680c

VST version 3.1beta (VST on Iris), compatible with Coq 8.19-8.20, CompCert 3.15, and Iris 4.3.0. For ease of installation, the ora library has been separated out as a new coq-vst-ora opam package.

Assets 2
Loading