Skip to content

VST version 3.0beta1

Pre-release
Pre-release
Compare
Choose a tag to compare
@mansky1 mansky1 released this 10 Apr 12:14
· 161 commits to vst_on_iris since this release
v3.0beta1
1276d31

The first beta release of VST 3.0, VST on Iris. Compatible with Coq 8.17-8.19 and CompCert 3.13.1. Based on coq-iris.dev.2024-02-04.0.0771fa71, which can be installed via OPAM:

opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git
opam install coq-iris.dev.2024-02-04.0.0771fa71
Assets 3
Loading