VST version 3.0beta2
Pre-release
Pre-release
·
154 commits
to vst_on_iris
since this release
The first full beta release of VST 3.0, VST on Iris. Compatible with Coq 8.18-8.19 and CompCert 3.13.1. Based on Iris 4.2.0, which can be installed via OPAM (as coq-iris.4.2.0).