Skip to content

VST version 2.8
Compare
Choose a tag to compare
@andrew-appel andrew-appel released this 07 Jun 20:49
v2.8
0d6c159

The simplest way to install VST is to install the Coq Platform. A Coq Platform release in approximately August 2021 will include VST 2.8.

Until then, the best way to install VST 2.8 is through opam: from the coq-released repository, install package coq-vst, version 2.8.

One method of doing that is:

  1. Install the Coq Platform 2021.02.1 release using the "Compiling from Sources via opam" method; in that process unselect (do not install) CompCert and VST.
  2. Then do opam update; opam install coq-vst which will install the latest CompCert and VST.
Assets 2
Loading