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