VST version 2.0
The packaged version of this release, which omits many inessential subdirectories, is available at
http://vst.cs.princeton.edu/download/vst-2.0.tgz.
It is compatible with CompCert 3.2 and Coq 8.7.1.
The packaged version of this release, which omits many inessential subdirectories, is available at
http://vst.cs.princeton.edu/download/vst-2.0.tgz.
It is compatible with CompCert 3.2 and Coq 8.7.1.